Run pyright as part of the CI process

This doesn't do verifytypes yet due to a bug in Pyright

.github/workflows/lint.yml

@@ -41,9 +41,7 @@ jobs:
 
       - name: Run pyright
         run: |
-          # It is OK for the types to not pass at this stage
+          pyright
-          # We are just running it as a quick reference check
-          pyright || echo "Type checking did not pass"
 
       - name: Run black
         if: ${{ always() && steps.install-deps.outcome == 'success' }}