Decompilation optimization pass should simplify expression `(x - y) != 0`

---

**Is your feature request related to a problem? Please describe.**

`(x - y) != 0` can be unnatural

**Describe the solution you would like.**

This expression can be directly substituted with a more readable version: `x != y`. It can also be rewritten as `x == y` (swapping jump targets).

**Describe alternatives you have considered.**

* Do nothing
* Rewrite as `x != y`
* Rewrite as `x == y` and swap the jump targets