reprocheck

Red-first repro verifier: a fix counts only when the repro fails on the base and passes on the fix.