Replaces runtime invariant checks with fuzzing tests, simplifying the contract code and lowering gas costs.
Mark Spanbroek