Inequalities: make sure both sides are real when looking at difference

Fixes #8288.  When subtracting lhs - rhs we should be careful they
are real, otherwise could cancel non-real bits.  Add tests.

Also, these should not simplify, add a XFAIL test for that.