Bump pyre-check from 0.9.18 to 0.9.23 #1029

Job	Run time
Rustfmt	11s
docs	1m 58s
lint	1m 43s
Rust unit tests (ubuntu-latest)	2m 37s
typecheck	1m 16s
Rust unit tests (macos-latest)	1m 36s
test (macos-latest, 3.9)	2m 37s
Rust unit tests (windows-latest)	3m 21s
test (macos-latest, 3.10)	3m 10s
test (macos-latest, 3.11)	2m 34s
test (macos-latest, 3.12)	3m 17s
test (macos-latest, 3.13)	2m 48s
test (ubuntu-latest, 3.9)	3m 43s
test (ubuntu-latest, 3.10)	3m 39s
test (ubuntu-latest, 3.11)	3m 44s
test (ubuntu-latest, 3.12)	4m 57s
test (ubuntu-latest, 3.13)	4m 59s
test (windows-latest, 3.9)	8m 15s
test (windows-latest, 3.10)	8m 32s
test (windows-latest, 3.11)	10m 46s
test (windows-latest, 3.12)	10m 23s
test (windows-latest, 3.13)	10m 14s
	1h 36m 20s

Provide feedback