feat: add guarantees to simplification #18236

Job	Run time
cargo check	7m 59s
Verify Vendored Code	1m 8s
cargo test (mac)	18m 22s
cargo test (win64)	24m 28s
Check cargo fmt	44s
Verify MSRV	10m 42s
cargo test doc (amd64)	10m 34s
cargo test datafusion-cli (amd64)	4m 32s
cargo doc	3m 1s
clippy	4m 0s
cargo test (amd64)	25m 54s
cargo examples (amd64)	8m 26s
Run sqllogictest with Postgres runner	4m 53s
cargo test pyarrow (amd64)	3m 39s
verify benchmark results (amd64)	35m 12s
check Cargo.toml formatting	1m 49s
check configs.md is up-to-date	3m 47s
cargo test hash collisions (amd64)	18m 57s
	3h 8m 7s

Provide feedback