Improve assert expression documentation.

Per discussion on forum.
I think "the compiler is free to assume" is understandable in the plain english sense, one does not need to know what assume() was meant to do to understand the implications.