Add contrapositive pyright tests

[rsokl]

We can now check that pyright sees particular invocations of our code as "erroneous". E.g., we can now verify that a line like

builds(1)

will be marked as an error by static type checkers. This is achieved by configuring pyright to raise whenever # type: ignore is used unnecessarily. Thus we can write

builds(1)  # type: ignore

that pyright then runs without issue thus indicates that it indeed did suppress an error on that line.

We also unpin pyright, specifying 1.1.213 as the new minimum version.