Add stub tests

[Viicos]

In CI, generate stubs from the test app, and use a tool to test type assertions. Should pass on pyright, mypy would be nice.

Still need to figure out which tool to use:

• https://mypy.readthedocs.io/en/stable/stubtest.html
• something generic over type checkers