egraphs: Canonicalize loose inequalities to strict inequalities (2nd attempt)

[Kmeakin]

A 2nd attempt at https://github.com/bytecodealliance/wasmtime/pull/6130. This time with a regression test

[github-actions[bot]]

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.