Add static type checker to CI

[glopesdev]

As part of the refactoring in #402 we disabled pyright in order to clear the CI checks. Using a static type checker is extremely valuable but would likely require careful type annotation work which is out of scope of that PR.

This issue will track the work needed to re-enable pyright and in general static type checking for the project.