Prunning expressions can reference rowcount

[robert3005]

This lets us effectively prune expressions like IsNotNull

fix #7187

Signed-off-by: Robert Kruszewski github@robertk.io

[codspeed-hq]

Merging this PR will improve performance by 31.9%

⚡ 10 improved benchmarks
✅ 1153 untouched benchmarks

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
⚡	Simulation	varbinview_zip_fragmented_mask	7.3 ms	6.5 ms	+11.46%
⚡	Simulation	varbinview_zip_block_mask	3.7 ms	2.9 ms	+27.63%
⚡	Simulation	old_alp_prim_test_between[f64, 16384]	211.9 µs	188.6 µs	+12.31%
⚡	Simulation	new_bp_prim_test_between[i32, 32768]	169 µs	139.9 µs	+20.81%
⚡	Simulation	old_bp_prim_test_between[i32, 32768]	232.7 µs	202.5 µs	+14.89%
⚡	Simulation	old_bp_prim_test_between[i64, 16384]	202.9 µs	171.7 µs	+18.15%
⚡	Simulation	new_alp_prim_test_between[f32, 32768]	182.7 µs	138.5 µs	+31.9%
⚡	Simulation	old_bp_prim_test_between[i32, 16384]	161.8 µs	146.8 µs	+10.22%
⚡	Simulation	new_alp_prim_test_between[f64, 16384]	147.2 µs	125.3 µs	+17.56%
⚡	Simulation	new_alp_prim_test_between[f64, 32768]	234.9 µs	191 µs	+23.02%

---

_{Comparing rk/rowcount (5780a99) with develop (543dbe7)}

[robert3005]

I have tried making it an expression. The problem you run into is that this expression isn't constant so you can't rewrite it into literal but also that expression cannot be inferred from the existing arrays properties

[robert3005]

Ok, this is good to go now, a lot more code than I'd wish but at least it's pure array rewrite

[joseph-isaacs]

its odd a zonemap doesn't know its row len?

[robert3005]

I think the layout knows. We can plumb that through that's a good point