Completely rewrite 'correct' eh support. This changes how setjmp insertion