Cleanup: rename some check_ prefixes to verify_.