SSA

[Matthew Fluet]

> Now, on to Ssa.Function.checkHandlers, but first I've gotta proofread
> a paper, and I'm on vacation for the weekend, so expect no results
> until Monday.

Well, I might get a chance to look at the various handlers, dominators,
liveness, backend issues that have cropped-up, so are we on agreement that
the SSA IL has no side-condition on cont/handler pairs and that liveness
and translation in backend should take care of the messy details of
finding a frame layout that works for both of them and associating that
with a new cont stub?