We should only replace invariants if the operation can report an error to the users cleanly and does not impact any subsequent operations. A few examples where this won't be the case is when the invariant it based on a state that is not limited to the current operation, like a lock state, collection catalog state etc. Additionally, if the invariant is to protect against a memory leak, we cannot replace it with a tassert.