feat: add invariants to x/foundation

[0Tech]

Description

This patch will add following invariants to x/foundation:

• ModuleAccountInvariant
  • It checks whether each balances of the module accounts is in a sane state.
    • "treasury": It must be equal to the corresponding value in the pool.
• TotalWeightInvariant
  • It checks whether the total weight is in a sane state.
    • Each weight of the member is implicitly one, hence the weight must be equal to the number of the members.
• ProposalInvariant
  • It checks whether each proposal is in a sane state.
    • Old proposals must have been aborted, so they must not be in the submitted state.

Checklist:

• I followed the contributing guidelines and code of conduct.
• I have added a relevant changelog to CHANGELOG.md
• I have added tests to cover my changes.
• I have updated the documentation accordingly.
• I have updated API documentation client/docs/swagger-ui/swagger.yaml

[codecov]

Codecov Report

Merging #758 (98ec5d5) into main (eb1b5e2) will increase coverage by 0.05%.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #758      +/-   ##
==========================================
+ Coverage   62.15%   62.20%   +0.05%     
==========================================
  Files         879      880       +1     
  Lines       99385    99431      +46     
==========================================
+ Hits        61772    61853      +81     
+ Misses      33996    33957      -39     
- Partials     3617     3621       +4     

Impacted Files	Coverage Δ
x/foundation/client/testutil/grpc.go	92.50% <ø> (-0.19%)	⬇️
x/foundation/client/testutil/query.go	100.00% <ø> (ø)
simapp/app.go	86.11% <100.00%> (ø)
x/foundation/client/testutil/suite.go	97.66% <100.00%> (-0.03%)	⬇️
x/foundation/keeper/invariants.go	100.00% <100.00%> (ø)
x/token/msgs.go	49.42% <0.00%> (-1.91%)	⬇️
x/foundation/keeper/proposal.go	89.88% <0.00%> (+1.19%)	⬆️
x/collection/msgs.go	55.50% <0.00%> (+3.86%)	⬆️
x/token/validation.go	92.72% <0.00%> (+21.81%)	⬆️

[zemyblue]

If the invariants is broken, how can we resolve in the chain?

[0Tech]

If the invariants is broken, how can we resolve in the chain?

Halting the chain is the current short-term solution. The goal of the invariant feature is to prevent ripple effects from the violated invariant. Fixing the cause is not the goal of this feature.