Create Debug Unification option

to dump states that Evarconv.eq_appr_x tries to unify.
Make the incompatibility with prop_ext more visible