Fixes Issue 8765. Fixes Issue 9255.

8765 - Assert should print failing expression.
9255 - Assert should print file name rather than module name, to be
consistent with other Exception types.