68595a9493
We don't just want to exit here, but `longjmp()` back to the conditional via a call to `DeepState_Fail()`. In doing so, we end up in the common `DeepState_CatchFail()` branch, which exits with the same nonzero error code, but also saves the test case if appropriate.