Add PyPy-based self check to CI once 3.8 is available #11357

In #11350 I made it possible for mypy to run on PyPy, we should add a simple check this doesn't regress.