added macro for helping generate |verify| methods