feat: add guarantees to simplification #18234

Job	Run time
Check cargo fmt	47s
cargo check	7m 59s
cargo test (mac)	20m 1s
Verify MSRV	9m 55s
Verify Vendored Code	1m 16s
cargo test (win64)	23m 43s
cargo test (amd64)	19m 11s
cargo test datafusion-cli (amd64)	4m 12s
clippy	3m 57s
check Cargo.toml formatting	1m 57s
cargo test hash collisions (amd64)	19m 2s
cargo doc	2m 59s
cargo test doc (amd64)	14m 47s
cargo examples (amd64)	10m 25s
Run sqllogictest with Postgres runner	5m 7s
cargo test pyarrow (amd64)	4m 8s
verify benchmark results (amd64)	40m 46s
check configs.md is up-to-date	4m 15s
	3h 14m 27s

Provide feedback