Improve assert expression documentation.

Per discussion on forum.
Add: $(P Programs for which the assert expression is false are invalid. Subsequent to such a false result, the program is in an invalid, non-recoverable state.)