do reg2mem/mem2reg around the setjmp pass, to ensure our cfg changes do not break module validation through altering dominances