Remove a now-unneeded 'pyright: ignore' comment that worked around a bug in Pyright that was fixed in the latest version (microsoft/pyright#3183). Improve the upgrade-dev-dependencies.sh script.