We would likely need to reduce the amount of assertions we can make. At the very least we can make sure we don't crash, deadlock, or have inconsistent data at the end. I suspect this would have caught the deadlocks in SERVER-40700.