Cps debugging

Invariant check code has been an option in freedm.cfg. The default setting is to disable the invariant check in DGI.