refactor validate_* to check_*

check_greater, check_greater_or_equal, check_equal, check_less,
check_less_or_equal still cause errors; check_nonzero_size also causes
errors when trying to format error