EH: try opcode seems inefficient

the current implementation scans the entire try block to set up handlers when entering the block. it seems very inefficient.
as handlers are not really necessary until an exception is actually propagated, we can defer the processing by that.
