Registerize based on full liveness analysis.

This does a much-more-expensive but much-more-thorough registerization
pass based a live-variable analysis for each function.