Orded.contains adopted to use gruntz(), not limit()

    This does limit calculations in this method more
    fragle, which is good.  An example:
    >>> O(sin(1/x**2).contains(O(cos(1/x**2)))
    True
    is wrong, just because of this limit:
    >>> limit(sin(1/x**2)/cos(1/x**2), x, 0)
    sin(oo)/cos(oo)