[x] The total active miners in the DB should match the total miners in the contracts link
[ ] Total interest paid across all agents should match the total lifetime earnings (TBD on how to do this - should be able to deduce this from iFIL price x iFIL circulation?)
Micro invariants (on a per account basis):
[x] The Agent's liquid FIL should match what's in the contract link
[x] The agent's principal should match db vs contracts link
[ ] Depositor total shares should match iFIL.balanceOf()
Macro invariants (system wide aggregates):
iFIL.totalSupply()
agentCount
in theagentFactory
linkpool.totalBorrowed()
pool.totalAssets
.Micro invariants (on a per account basis):
iFIL.balanceOf()