Revised local optimizations for Mux nodes.

The local optimization should now match the prediction of
ir_is_optimizable_mux. This fixes opt/mux.c on SPARC.
Handle Mux((a & (1 << c)) ==/!= 0, 0, 1).