Counterexample Storyteller

Turns a proof-engine counterexample trace into a cycle-by-cycle story, separates the signals that matter from the noise, and suggests a cause.