Highlight the example that failed when an exception is raised
Add functional test for unhandled exceptions thrown in examples

Exposes `-[QuickSpec example:failedWithException:]` as a public method,
and uses it to intercept an exception raised during an example in order
to make assertions on it.
Add `fail()` DSL function as simple wrapper for `XCTFail()`