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

Job	Run time
update_readme	7s
build_docs (ubuntu-latest)	2m 39s
test (ubuntu-latest, py312)	15m 36s
build_docs (windows-latest)	5m 21s
test (ubuntu-latest, py311)	16m 19s
test (ubuntu-latest, py311-torch-nightly)	15m 2s
test (ubuntu-latest, py311-onnx-weekly)	15m 46s
test (ubuntu-latest, py311-ort-nightly)	3m 38s
test (ubuntu-latest, py310)	17m 32s
test (windows-latest, py312)	9m 11s
test (windows-latest, py311)	8m 0s
test (windows-latest, py311-torch-nightly)	9m 25s
test (windows-latest, py311-onnx-weekly)	8m 30s
test (windows-latest, py311-ort-nightly)	3m 20s
test (windows-latest, py310)	8m 58s
test (macos-latest, py312)	7m 33s
test (macos-latest, py311)	6m 26s
test (macos-latest, py311-torch-nightly)	5m 59s
test (macos-latest, py311-onnx-weekly)	7m 7s
test (macos-latest, py311-ort-nightly)	6m 41s
test (macos-latest, py310)	7m 34s
	3h 0m 44s

Provide feedback