Bump pyre-check from 0.9.18 to 0.9.23

Bumps [pyre-check](https://github.com/facebook/pyre-check) from 0.9.18 to 0.9.23.
- [Release notes](https://github.com/facebook/pyre-check/releases)
- [Commits](facebook/pyre-check@v0.9.18...v0.9.23)

---
updated-dependencies:
- dependency-name: pyre-check
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

pyproject.toml

@@ -33,7 +33,7 @@ dev = [
     "maturin>=1.7.0,<1.8",
     "nbsphinx>=0.4.2",
     "prompt-toolkit>=2.0.9",
-    "pyre-check==0.9.18; platform_system != 'Windows'",
+    "pyre-check==0.9.23; platform_system != 'Windows'",
     "setuptools_scm>=6.0.1",
     "sphinx-rtd-theme>=0.4.3",
     "ufmt==2.7.3",