Pyright is a widely used LSP (VSCode, vim crowd, etc.) and UX would benefit from our SDK to fully pass Pyright checks, especially on user code. #2610 introduced a basic config but didn't enforce anything. Pyright should be added to just py-lint and CI, to ensure no regression on this front.
