Switch from mypy to ty

[reaperhulk]

Tracking known blockers for us to migrate.

• pytest.skip (and variants) are NoReturn but not properly detected astral-sh/ty#1112
• incorrect type narrowing when using pytest.raises astral-sh/ty#783
• Calling dataclasses.dataclass imperatively (as opposed to as a decorator) produces errors astral-sh/ty#1705
• Accessing a class attribute via an instance produces Unknown type astral-sh/ty#1706
• Log a warning message if we can detect that ty Python version doesn't match active environment Python version astral-sh/ty#1708
• Perplexing "Object of type typing.Any has no attribute" astral-sh/ty#1744
• Incomplete narrowing with terminal statement inside nested ifs astral-sh/ty#685

[reaperhulk]

#13656 drops us to 32 issues (most/all of which are ty limitations at the moment).