We do indeed considered that if you disable assertions all our guarantees about void-safety are indeed lost since we use assertions for CAPs.

However your post trigger something that have been asked by others, that is to say having the SPECIAL out-of-bound checks enabled in finalized mode even if no assertions are set. I'm planning to do that shortly.