Broader checks for poisonous this references.

Replaces more VerifyErrors with implementation restrictions.