Improve assert expression documentation.

Per discussion on forum.
"past that point" is misleadingly implying that the code before that point won't be affected. If an optimizer can prove that undefined behaviour will occur after some code has executed (in a certain way), it might scrub (transform) that code based on this fact.