Improve assert expression documentation.

Per discussion on forum.
@Hackerpilot: Undefined behaviour has a precise technical meaning. It overrides anything else you might say about the program, not the other way around. You might be confusing undefined behaviour and unspecified behaviour.