Formal verification

[0x-r4bbit]

Formally verify the staking protocol and ensure its correctness and security.

There's a lot of rule we've already implemented in https://github.com/logos-co/staking. Most likely we can take many of those and apply them here with slight changes. Some rules might not even apply anymore.