nir/opt_algebraic: Add some boolean simplifications