Optimize SSA construction

There was a frequently repeated step that performed some nested maps.
This was allocating far more, and doing far more work, than necessary.
This commit introduces more precise Use tracking so that only the
required labels need to be updated when a phi node is eliminated.