[UncleMeat]

Yup. The combo of “this is hyper critical financial code” and “every extra instruction to check invariants is very expensive” are two fundamentally opposed ideas and will cause pain forever.