Add support for new Rust-based typecheckers: pyrefly, ty

[davidfstr]

Milestone: 2.0

• Probably only want to support recent Python versions at the time support for these typecheckers is added, so that probably implies this change should be shipped alongside major changes to drop support for old versions of Python.