Very interesting write-up, thank you! I never really considered that compilers can also use asserts to improve performance, but it does make sense.