Removed bad invariants
Added stopNetwork contract checks