Improve assert expression documentation.

Per discussion on forum.
It is insufficient/inaccurate to say that the effect of the -release switch is to disable run-time checks. It is not even necessary to talk about run-time checks. -release makes failing assertions lead to undefined behaviour. Walter has never said that assertion failures are undefined behaviour in non-release mode.