Improve assert expression documentation.

Per discussion on forum.
@quickfur: I'll appreciate if the fixed documentation is actually going to describe the intended design, even if I disagree with that design. If one is guaranteed to get a debugging aid, this is not "undefined behaviour".