state-mark-false

Marks a statement as false when a counterexample is found. Use when agent-prove or agent-fix discovers the statement is unprovable due to being actually false. Records the counterexample and updates status.