3 ms·

Your analogy between debugging effectful programs and replaying proof scripts is frighteningly accurate.