Added local optimizations: (a & X) | a = a | (a & X) = a.
Added local optimizations: x | (x ^ y) = (x ^ y) | y = x | y.
add missing confirm_irg_properties to lower_CopyB
fix critical_edge remover clearing too few properties
fix cfopt missing a change
fix/improve iredge verifier
jumpthreading: add missing chang notifier
add missing confirm_irg_properties() to lower_calls
ldstopt: fix confirm_irg_properies()

Some analysis parts create new nodes destroying the CONSISTENT_OUT_EDGES
property even though no real change has been performed.
add missing confirm_irg_properties in lower_alloc()
lower_builtins: add missing confirm_irg_properties()
lower_dw: cleanup confirm_irg_properties() usage
lower_mode_b: cleanup
lower_softfloat: add missing confirm_irg_properties() call
lower_switch: add missing confirm_irg_properties() call
remove_tuples: add missing confirm_irg_properties() call
add a verifier for graph properties
backends must announce if their doubleword lowering functions changed the control flow