weaken the invariant assumption of module account balance

[yihuang]

Summary

Right now, we forbid users from sending coins to module addresses, and the invariants check sth like:

balance(module_address) == sum(balance of individual items)

But it seems the chain logic behind the module address can actually work under the weakened invariants:

balance(module_address) >= sum(balance of individual items)

Shall we weaken the invariants for simpler maintainess?

Problem Definition

Proposal

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned

[tac0turtle]

invariants are a testing feature, they are primarily used for simulations these days. I will close this issue as they should not effect mainnets