Any rule that runs on the epoch boundary should not be allowed to fail, since it does not act on any invalidated input.

Some of the governance related Shelley rules incorrectly have predicate checks on such rules.
These predicates need to be removed and PredicateFailure type family set to VoidEraRule

Some, or even all of the predicate checks can be turned into assertions, in order to not protect against potential regressions.