verilog: Drop use of setjmp()/longjmp()

This makes the code more straightforward to read and simplifies
resources management.
verilog: Prune context stack when exiting