Removed `verify-constraints' from protocol and implementation. It was broken, and it can be constructed without being in the protocol if it is desired.