This contract will be deployed on mainnet and be used to check the invariants of the Ion system offchain every block.
Liquidity in pool + debt to pool >= total supply.
[Sum of all (ilk total normalized debt * ilk rate)] + unbacked debt >= debt to pool.
Invariant1 accrued
Invariant2 accrued