[FEA] Switch from mypy to ty

[vyasr]

Is your feature request related to a problem? Please describe.
The astral team have announced ty, a Rust-based Python type checker that provides substantial speedups over mypy. mypy runs fairly slowly on our code base and is especially noticeable for pre-commit checks, so switching would be beneficial.

Describe the solution you'd like
ty is still very new and likely not yet stable enough to be worth using. We should revisit the possibility once they put out at least a 0.1 version (right now they are still on alphas only).

[vyasr]

We should also consider pyrefly. I'm not sure how the two will compare. They are both fast, Rust-based Python type-checkers. That's as much as I know for certain at this stage, and given that they were both released very recently and are undergoing very active development it's hard to say which will be a better choice for use.