Merge pull request #153 from trailofbits/switch-pyright-to-ty

Merge pull request #153 from trailofbits/switch-pyright-to-ty #250