Relational: Unify `Lt` and `<`, a fix for pr #7783

Make long form and symbolic operators take the same path through the code.
This effects `Lt`, `Gt`, `Ge`, `Le`, their longer forms (`StrictLessThan`,
etc) and the symbolic versions (`<`, etc) which are usually accessed as
`__lt__` etc.

Here is an outline of the approach:

1. If we come via `__lt__` than we do all we can to reduce to bool or
raise exception.  This can go through several classes' `__lt__` methods,
but in the end (currently `Expr.__lt__`) we ask `Lt` to make a
non-evaluated inequality with `evaluated=False`.

2. On the other hand, if we come from `Lt(lhs, rhs)`, we first ask
`lhs.__lt__(rhs)`.  Which will then either return a boolean, raise an
exception or eventually call `Lt` again but with `evaluated=False` as
above.

In this fashion, we always have the same result whichever form we called.
test_relational: remove some incorrect tests, fixed tests are elsewhere

`Gt(I, 2)` is supposed to raise TypeError, not give `false`.  This is
tested elsewhere in `test_inequalities_symbol_name_same_complex` so
just remove these tests.
Inequalities: UnXFAIL tests from pr #7783
Expr: inequalities try to reduce to bool using the _eval_sides code

Previously, `Lt` had code which tried to simplify---even `evalf`---to
try to reduce an expression to a boolean.  We call that from `Expr`.
Hopefully this restores `Lt` simplifying behaviour in many cases.
And now `<` will benefit as well.
Relational: don't use symbol ops `<` in `Lt` lest `Lt` reorder arguments

The documented "gotcha" whereby `1 < x` becomes `x > 1` (or something
similar) could occur even if the `lhs` and `rhs` are `_sympified`.
I encountered this in `meijerint._condsimp` and more specifically `subs`
where an `cls=Wild` variable was substituted for a regular symbol in
an Inequality.  Added tests.