Use ty for type checking

we currently use mypy

Ty (https://github.com/astral-sh/ty) is written by the same people that wrote uv and according to their readme, its much faster.


This may be worth considering as an alternative in our test setup