Formal verification: add owner related invariants

[mmv08]

This PR checks for three properties:

• threshold should be less than the number of owners
• safe cannot be an owner of the self
• safe owner cannot be the sentinel address

The PR is based on Akshay's rules that haven't been pushed to the main branch. I had to change the sentinel as an owner invariant to a rule because, as an invariant, it didn't pass the vacuity check. It also adds changes for the cli v2 and CVL 2

[github-actions[bot]]

Pull Request Test Coverage Report for Build 5453384937

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 94.059%

---

Totals
Change from base Build 5453355428:	0.0%
Covered Lines:	318
Relevant Lines:	333

---

💛 - Coveralls