Update verify_test.cc