change stack effect of `throw`
change stack effect of `throw`

`throw`s stack effect is special, because it is basically undefined.
The stack effect now assumes that any call to throw consumes the error
code, although after the actual context restore of throw, an error code
will be on the stack.

timor/mfactor,timor/mfactor,timor/mfactor,timor/mfactor