We still have some places in the codebase where we invariant on a Status object being OK rather than on the Status itself. Invarianting on the Status itself retains the semantics of failing when it's not OK but adds useful diagnostics in the output, like the error code originally causing the issue.

Convert all invariants that look like invariant(status.isOK()); to invariant(status);. Additionally, write a clang-tidy check to enforce the convention of invarianting on the status directly (might be useful to do this first to find all the offending lines).