Fix exponential stats rewrite for nested OR predicates

[robert3005]

binary_falsify recursively falsified both children of an Or node before checking EMIT_UNGUARDED_REWRITES, so every registered Binary rewrite rule repeated the full recursive rewrite of the subtree and then discarded all but one copy. That makes the falsify rewrite O(2^depth) for left-deep OR chains such as a = 1 OR a = 2 OR ... and O(n^2) for balanced OR trees: a 24-term chain took ~137s to rewrite and ~16x longer for every 4 additional terms.

[codspeed-hq]

Merging this PR will degrade performance by 0.59%

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

⚠️ Different runtime environments detected

Some benchmarks with significant performance changes were compared across different runtime environments,
which may affect the accuracy of the results.

Open the report in CodSpeed to investigate

⚡ 1 improved benchmark
❌ 1 regressed benchmark
✅ 1992 untouched benchmarks
⏩ 89 skipped benchmarks¹

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
❌	Simulation	compress_fsst[(1000, 64, 8)]	1 ms	1.2 ms	-12.23%
⚡	Simulation	cold_misaligned[(64, 256)]	4.9 ms	4.4 ms	+12.58%

Tip

Investigate this regression by commenting @codspeedbot fix this regression on this PR, or directly use the CodSpeed MCP with your agent.

---

_{Comparing claude/zonemap-prune-performance-0lqpdu (0cc4ea7) with develop (9a584e4)}

Footnotes

1. 89 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. ↩

[joseph-isaacs]

How did we merge this trait:

trait NonNanProof {
    const EMIT_UNGUARDED_REWRITES: bool;

    fn check(ctx: &StatsRewriteCtx<'_>, expr: &BoundExpression) -> VortexResult<NanCheck>;
}