Bump mypy from 1.11.2 to 1.12.1.