[red-knot] Implement Type::Tuple Comparisons

[cake-monotone]

Summary

This PR implements comparisons for (tuple, tuple).

It will close #13688 and complete an item in #13618 once merged.

Test Plan

Basic tests are included for (tuple, tuple) comparisons.

[github-actions]

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

[carljm]

This is really excellent, thank you!! A few comments.

[cake-monotone]

In addition to the changes mentioned in your review, I have enhanced the inference for in and not In comparisons to make it more powerful.

[AlexWaygood]

Thanks! Some comments below:

[AlexWaygood]

Thanks! This LGTM now, but I'd love a second approval from either @carljm or @dhruvmanila

[carljm]

This looks good to me, modulo a few minor comment nits. Thanks for your work here!

I would like better test coverage (fewer todos). For example, right now the "unsupported comparison" case isn't really covered by the tests, because we don't have any rich-comparison operators implemented to return None from infer_binary_type_comparison for unsupported comparisons yet.

But the code here looks correct, so I'm happy to merge it as-is; the effective test coverage here will improve as we flesh out infer_binary_type_comparison.