Adding test case showing when SpecEasy incorrectly reports an assertion failure in lieu of reporting an exception