Revert "Inherited post invariant re-enabled"

This reverts commit c9584079ba22ad01ab88aefa01bf128021ab4f87.