Made check_has, check_not_has, check_empty macros in validate.cc not concatenate together method names.
Made check_has, check_not_has, and check_empty avoid reevaluating their "pb" parameters.