Remove encrypted require functionality

[tremblaythibaultl]

Deprecate the require precompiled contract. Instead, users are encouraged to use the decryption functionality together with a regular Solidity require statement.

Additionally, check that the optimistic requires all evaluate to true before performing a reencryption.

Closes #152 and #153.