Replace mypy with pyright. Update Makefile dependencies.

[evandowning]

@dhalf found that pyright might be a better solution going forward.

I had a more careful look at the differences between the two type checkers
It turns out pyright is better integrated because it is compatible with LSP. That's why we get those nice inline diagnostics and code suggestions. It also appears to be faster and more modern and more in line with new Python typing specifications (https://htmlpreview.github.io/?https://github.com/python/typing/blob/main/conformance/results/results.html).
So if we can, I think using uv + ruff + pyright is the best combination

What do you all think?

[Ninja3047]

yeah agreed
in the future we may want to look into using astral's ty or meta's pyrefly but fine with pyright for now since that's what most people use now