Fixes to SSA conversion.  SSAPass now implements a proper DAG rewrite,
using futures, instead of the previous hack.