Give Inequality an additional level of evaluation with keyword `check`

From commit message:

```
Both Lt(x, 1) and x < 1 behave the same in returning an unevaluated
relational, even if evaluate=True. The only checking that occurs is
a check that x.is_real is not False. Since the value of x is unknown
the unevaluated relation "x < 1" is returned. This means that code
that wants to test if an actual value was returned must test it
explicitly as 'if (x < 1) == True'. Even applying doit() does not
cause an unevaluate form like x < y (with vanilla symbols) to raise
an error.

With the new keyword, checking that the result was obtained is
part of the function call itself. If a result was not (or could not)
be obtained an error is raised. There are 3 levels of checking as
described in the function's docstring.

var('x y')
Lt(x, y, 0) -> x < y
Lt(x, y, 1) -> error
Lt(x, x + 1, 1) -> True
Lt(x, x + 1, 2) -> error
```

This also helps to consolidate and standardize error messages associated with the errors. Some examples of usage are visible in the diff view (see `ellipse` and `integrals`).