Improve assert expression documentation.

Per discussion on forum.
@tgehr If we write it here in the spec, it's no longer undefined.