test: Add test for computing min/max values for expresions

[alamb]

Which issue does this PR close?

• Related to Resolve MIN/MAX from Parquet metadata for Single-mode aggregates and CAST projections #21651

Rationale for this change

This test shows a bug in #21651

The test passes on main but fails on that PR like this

andrewlamb@Andrews-MacBook-Pro-3:~/Software/datafusion3$ cargo test --profile=ci --test sqllogictests
    Finished `ci` profile [unoptimized] target(s) in 0.22s
     Running bin/sqllogictests.rs (target/ci/deps/sqllogictests-d8b84848b1385364)
Running with 16 test threads (available parallelism: 16)
Completed 428 test files in 4 seconds                                                                                                       External error: 1 errors in file /Users/andrewlamb/Software/datafusion3/datafusion/sqllogictest/test_files/aggregate.slt

1. query result mismatch:
[SQL] SELECT MIN(delta), MAX(delta)
FROM (
  SELECT "UserID" - CAST("ClientIP" AS BIGINT) AS delta
  FROM hits_raw
);
[Diff] (-expected|+actual)
-   -2461439044872611287 7418527518698834918
+   -2461439047704734435 7418527521343057109
at /Users/andrewlamb/Software/datafusion3/datafusion/sqllogictest/test_files/aggregate.slt:8951



Error: Execution("1 failures")
error: test failed, to rerun pass `-p datafusion-sqllogictest --test sqllogictests`

Caused by:
  process didn't exit successfully: `/Users/andrewlamb/Software/datafusion3/target/ci/deps/sqllogictests-d8b84848b1385364` (exit status: 1)

What changes are included in this PR?

Add a new test

Are these changes tested?

They are all tests

Are there any user-facing changes?

No

[alamb]

This is a test for a a query that is optimized to used statistics in https://github.com/apache/datafusion/pull/21651/changes

On main, DataFusion computes delta from the actual rows and then takes the real min/max,

On #21651, the new logic propagates exact column min/max through the projection using interval arithmetic, then aggregate_statistics treats those derived bounds as exact aggregate answers and replaces the whole aggregate with literals.

For UserID - ClientIP, the interval formed from independent column extrema is wider than the set of values that actually occur in the data, because the min UserID is not paired with the max ClientIP in the same row, and similarly for the max side. The optimizer therefore folds to unattainable values:

• wrong folded min: -2461439047704734435
• wrong folded max: 7418527521343057109