Use list length bounds for zone pruning

[mhk197]

Stacked on

• [DO NOT MERGE] Add list length min-max aggregate #8886

Rationale for this change

List-length bounds can prune list_length predicates at the zone level without evaluating list sizes. Keeping this integration separate lets the underlying aggregate land and evolve independently from zoned storage and predicate rewriting.

What changes are included in this PR?

• Register ListLengthMinMax as a default zoned aggregate for variable-length List columns only.
• Rewrite list_length minimum and maximum statistics to the matching aggregate fields.
• Derive FixedSizeList bounds directly from the dtype, avoiding redundant zoned storage.
• Add default-selection, stats-rewrite, and end-to-end zone-pruning tests.

Validation

• cargo nextest run -p vortex-array -p vortex-layout
• cargo clippy --all-targets --all-features
• cargo +nightly fmt --all
• git diff --check

[codspeed-hq]

Merging this PR will improve performance by 13.25%

⚡ 1 improved benchmark
✅ 1834 untouched benchmarks
⏩ 58 skipped benchmarks¹

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
⚡	Simulation	fsl_large	99.4 µs	87.8 µs	+13.25%

Tip

Curious why this is faster? Comment @codspeedbot explain why this is faster on this PR, or directly use the CodSpeed MCP with your agent.

---

_{Comparing mk/list-shape-stats-zoned (bcc3289) with mk/list-shape-stats (45e424f)²}

Footnotes

1. 58 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

2. No successful run was found on mk/list-shape-stats (614492d) during the generation of this report, so f424a7b was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩