Formal verification: Add rules that check only modules can execute module transactions

[mmv08]

This PR:

• Add rules that check only modules can execute module transactions

[coveralls]

Pull Request Test Coverage Report for Build 6013168516

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+1.3%) to 92.78%

---

Totals
Change from base Build 6010009662:	1.3%
Covered Lines:	320
Relevant Lines:	340

---

💛 - Coveralls