Walter Bright:
Show me a piece of code with different behavior. Start with the array bounds thing.
People have already shown you code that behaves differently with assert and assume. But you have redefined "assert" to mean a mix of assume and assert. So before me answering you have to switch back to use the common definition of assert().
Bye, bearophile