Bump mypy from 0.800 to 0.812

Bumps [mypy](https://github.com/python/mypy) from 0.800 to 0.812.
- [Release notes](https://github.com/python/mypy/releases)
- [Commits](python/mypy@v0.800...v0.812)

Signed-off-by: dependabot[bot] <support@github.com>