verifier passing tests, about to run it on real data