More test cases.
Run the setjmp bug tests automatically.