feat: add guarantees to simplification #18258

Job	Run time
Check cargo fmt	44s
cargo check	11m 5s
cargo test (mac)	28m 21s
Verify MSRV	12m 58s
Verify Vendored Code	1m 2s
cargo test (win64)	29m 7s
cargo test doc (amd64)	10m 29s
cargo test datafusion-cli (amd64)	4m 27s
cargo examples (amd64)	6m 53s
cargo test (amd64)	24m 25s
cargo doc	4m 52s
Run sqllogictest with Postgres runner	5m 49s
verify benchmark results (amd64)	42m 5s
cargo test pyarrow (amd64)	3m 53s
check Cargo.toml formatting	1m 53s
check configs.md is up-to-date	3m 30s
clippy	6m 52s
cargo test hash collisions (amd64)	19m 50s
	3h 38m 15s

Provide feedback