The Verifier Was Verified

Building an autonomous escrow, and the loop that caught the bug we almost shipped blind