Check owners list consistency

[akshay-ap]

Changes in PR:

• Add getter functions to get size of owners array
• Fix failing certora workflow (use certora-cli package instead of certora-cli-beta)
• Add invariant safeOwnerCountConsistency

[github-actions[bot]]

Pull Request Test Coverage Report for Build 5453058769

• 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 5400554544:	0.0%
Covered Lines:	318
Relevant Lines:	333

---

💛 - Coveralls