[pass] Implement checker pass and refactor shape inference #9384

Job	Run time
update_readme	4s
build_docs (ubuntu-latest)	2m 41s
test (ubuntu-latest, py312)	19m 21s
build_docs (windows-latest)	4m 9s
test (ubuntu-latest, py311)	1h 14m 53s
test (ubuntu-latest, py311-torch-nightly)	14m 32s
test (ubuntu-latest, py311-onnx-weekly)	14m 49s
test (ubuntu-latest, py311-ort-nightly)	3m 23s
test (ubuntu-latest, py310)	17m 40s
test (windows-latest, py312)	9m 3s
test (windows-latest, py311)	8m 0s
test (windows-latest, py311-torch-nightly)	8m 44s
test (windows-latest, py311-onnx-weekly)	3m 16s
test (windows-latest, py311-ort-nightly)	3m 24s
test (windows-latest, py310)	8m 6s
test (macos-latest, py312)	7m 0s
test (macos-latest, py311)	7m 20s
test (macos-latest, py311-torch-nightly)	10m 24s
test (macos-latest, py311-onnx-weekly)	7m 35s
test (macos-latest, py311-ort-nightly)	5m 52s
test (macos-latest, py310)	8m 32s
	3h 58m 48s

Provide feedback