The mode checker reviewed my code

My property-testing engine for base_quickcheck had a global. I knew it was there. It was the convenient kind of global: a single Tape.t option ref that the random-state shim consulted on every draw, so the engine could install a recording tape without threading it through any signatures. It worked, all my tests passed, and I had already written the comment apologising for it. Then I wanted…