Add -reduce_inv option to reduce and display invariants