Statically forbid usage of revert in predicates

[IGI-111]

Using reverts in predicates produces a panic as they are illegal. Using them in that context should produce an error at compile time.