Nan oo tests

currently `nan < x` and `Lt(nan,x)` do something different (one evaluates, one not) so marked as XFAIL.  Same for `oo`.

In Issue #7775, @asmeurer said `And < and Lt should be the same.`, so here are the tests to make it so (which currently fail).

In PR #7776, @Tempel thought NaN's should not be orderable, here's a test for that (which currently passes for the long forms like `Lt` but not for symbols like `<`)