Update verifier_test.c