nir/algebraic: add scmp algebraic optimizations