minor compiler proof fixes due to implementation changes

since the proofs still don't cover exceptions, they mostly go through
oblivious to the new code for raise and handle...