Add unit test to test a trivial verifier check.