Factor out verify_methods.h