R4R: Add loose/bonded token supply invariants back to simulation

[cwgoes]

Features

• Includes correct supply invariants (blocked on Revoked validators should be put into the unbonding state #1676)

Standard checklist

• Linked to github-issue with discussion and accepted design
• Wrote tests
• Updated relevant documentation (docs/)
• Added entries in PENDING.md with issue #
• rereviewed Files changed in the github PR explorer

---

For Admin Use:

• Added appropriate labels to PR (ex. wip, ready-for-review, docs)
• Reviewers Assigned
• Squashed all commits, uses message "Merge pull request #XYZ: [title]" (coding standards)

[cwgoes]

Hmm, I expected this to pass after #2163 was merged. Should be investigated.

[codecov]

Codecov Report

Merging #2162 into develop will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop    #2162   +/-   ##
========================================
  Coverage    61.52%   61.52%           
========================================
  Files          122      122           
  Lines         7486     7486           
========================================
  Hits          4606     4606           
  Misses        2561     2561           
  Partials       319      319

[alexanderbez]

utACK -- although the returned errors are extremely long and hard to read. Might help breaking them onto multiple lines 👍