Make the prover pass on CI

[0x-r4bbit]

Due to a bunch of breaking changes and previous incomplete code, we have a few rules that are failing on CI in the formal verification task.

A bit of work has been done in https://github.com/logos-co/staking/commit/d7ab130d30c036a382b5a29ddc201244c293de8e And some PRs are pending here:

• https://github.com/logos-co/staking/pull/55
• https://github.com/logos-co/staking/pull/56
• https://github.com/logos-co/staking/pull/57
• https://github.com/logos-co/staking/pull/58

^ These are mostly atomic rules. These should all become green once the rules in current develop are fixed.

I've flagged those as "don't merge" until develop is sorted out.