nir/algebraic: Mark some value range analysis-based optimizations imprecise