Upgrade pyright to a newer version

[larsyencken]

Problem

VSCode uses a newer version of Pyright than what we do in linting. We are frozen on a earlier version because of a huge number of updates we would need to do to fix linting errors.

Impact

We are seeing warnings in the editor that we do not see in CI, which is annoying, and gets people used to ignoring warnings in the editor rather than fixing them.

See earlier attempt

• Update pyright type checker #1113

[larsyencken]

We know this is large and annoying to fix. Eventually we will want to, but we can also live with the status quo for a while longer.