Resolve all `tool.ty.src.exclude`

[cmp0xff]

Following #1767, we can also run ty on tests.

We can just tag this issue in the PR, using the hashtag properly.

Upstream issues:

• class Just does not work for ty astral-sh/ty#3898 -> Overloaded dunder method choosing wrong overload astral-sh/ty#3323
• CovariantList works with older ty but not with 0.57 astral-sh/ty#3951
• Mapping[Hashable, ...] and Mapping[Any, ...] behaves differently astral-sh/ty#3956
• assert-type-unspellable-subtype on TypeIs astral-sh/ty#4005 (won't do)
• TypeVar with bound=Hashable not working properly astral-sh/ty#4022
• ty: ignore is checked even when excluded by sys.version_info astral-sh/ty#4052 -> unused-ignore-comment in unreachable code astral-sh/ty#2681
• class Just does not work for ty when it comes to Just[float] astral-sh/ty#4053
• overloads resolved as a conflict with Any astral-sh/ty#4055
• Issue parsing list[str | numpy.str_] and its unpacking astral-sh/ty#4102 -> class Just does not work for ty when it comes to Sequence[str | Just[float]] astral-sh/ty#4111
• Don't prefer inferred function-like callable over annotated Callable astral-sh/ty#4135
• contextual inference can infer a gradual generic and allow wrong protocol assignability astral-sh/ty#4150