Lint

Add pyrefly non-exhaustive match as error #1137

Job	Run time
build (3.13, ubuntu-latest, pre-commit)	1m 2s
build (3.13, windows-latest, pre-push)	2m 13s
build (3.13, ubuntu-latest, manual)	1m 0s
build (3.13, ubuntu-latest, pre-push)	1m 41s
build (3.13, windows-latest, pre-commit)	1m 43s
build (3.13, windows-latest, manual)	1m 11s
completion-lint	2s
	8m 52s

Provide feedback