`verify_instance_and_class_double_names`. Getting long but is explicit. `verify_verifying_double_names` also accurate but clearly not great.

`check_verifying_double_names`?