Renames verify-symbols to check-symbols.