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.
DO NOT MERGE - Test commit for x64 autotester test.