Inequalities: test for simplifying

    These should not simplify automatically.  But should do so if requested
    with `simplify()`.

I don't think this is tested after #8270.  See also discussion in #7960 where I was trying to have tests like this.  Full disclosure: I suspect @skirpichev is -1 for testing the "no simplify on creation" part of this.