[Cranelift] add commutative cases (follow-up of #11642)

[bongjunj]

This considers all commutative LHS cases of (x ^ ~y) & x --> x & y. (#11642)
Corresponding egraph filetests are added too.

;; (x ^ ~y) & x --> x & y
(rule (simplify (band ty (bxor ty x (bnot ty y)) x)) (band ty x y))
(rule (simplify (band ty (bxor ty (bnot ty y) x) x)) (band ty x y))
(rule (simplify (band ty x (bxor ty x (bnot ty y)))) (band ty x y))
(rule (simplify (band ty x (bxor ty (bnot ty y) x))) (band ty x y))

[github-actions]

Subscribe to Label Action

cc @cfallin, @fitzgen

This issue or pull request has been labeled: "cranelift", "isle"

Thus the following users have been cc'd because of the following labels:

• cfallin: isle
• fitzgen: isle

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

[fitzgen]

Looks great but I think there are some conflicts here as well.

[bongjunj]

Rebased on #11641.
All the conflicts should be resolved after #11641 is merged.