Allows return from throw with finally block. Allows return from catch.

See test cases in https://github.com/tessel/runtime/commit/1f9f08207b20b5c095323e4682bc3cc1f938bc37 .