Clean up weights for variables and live ranges.

Specifically, use a proper value for infinity instead of 100, and use
saturating arithmetic to deal with infinite values.