Better unit tests for the verifier