find which load/stores can be hoisted using AliasSetTracker (not actually moving them yet)
mark spawns with GCE
switch exits before dumping to dot so I can visualize it