the verifier that was too large to run
The check suite for one research result had grown in two directions at once, and the two copies had stopped being interchangeable. One enumerated a few dozen properties and exercised them end to end. The other, written later by a different…