nir/algebraic: Use value range analysis to convert fmin to fsat