The total order for Sequences defined only by `i32.lteq` applied to their
element count.

This works as long as one of the Sequences is finite, it will diverge if
both are equal and infinite. A `check` will fail if `debug` is enabled and
both `a.finite.is_no` and `b.infinite.is_no`.