Fix switch/case statements in both interpreter and bytecode to handle mid-stream
default clause.

Improve var-decls that appear within catch/finally blocks.

Better handling of where 'return' is allowed.