don't save signal mask when using setjmp/longjmp

We never alter the signal mask, so it's an unnecessary overhead to save and
restore it when using a jmp_buf. This should speed up the verifier when using
assumptions and/or reporting multiple errors. This only occurred to me when
reading Dmitry Vyukov's blog, 1024 Cores.