make verifier better at finding errors