Improve assert expression documentation.

Per discussion on forum.
It is irrelevant to claim it isn't generated. It's undefined behaviour. Undefined behaviour means, it is (maybe unlikely, maybe not what DMD does now, but) theoretically possible that the check is actually generated.