feat(optimizer): support m <= rank AND rank <= n

[xxchan]

I hereby agree to the terms of the Singularity Data, Inc. Contributor License Agreement.

What's changed and what's your intention?

close #5692

Mainly works for ROW_NUMBER().

Checklist

• I have written necessary rustdoc comments
• I have added necessary unit tests and integration tests
• All checks passed in ./risedev check (or alias, ./risedev c)

[codecov]

Codecov Report

Merging #6384 (61c112c) into main (33475dd) will decrease coverage by 0.00%.
The diff coverage is 82.19%.

@@            Coverage Diff             @@
##             main    #6384      +/-   ##
==========================================
- Coverage   73.94%   73.93%   -0.01%     
==========================================
  Files         981      981              
  Lines      159133   159159      +26     
==========================================
+ Hits       117665   117679      +14     
- Misses      41468    41480      +12     

Flag	Coverage Δ
rust	73.93% <82.19%> (-0.01%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
...rc/frontend/src/optimizer/rule/over_agg_to_topn.rs	88.61% <79.03%> (-6.01%)	⬇️
src/storage/src/hummock/sstable/multi_builder.rs	97.17% <100.00%> (-0.04%)	⬇️
src/batch/src/executor/group_top_n.rs	68.42% <0.00%> (-6.44%)	⬇️
...frontend/src/scheduler/hummock_snapshot_manager.rs	58.79% <0.00%> (+0.50%)	⬆️
src/frontend/src/expr/mod.rs	80.21% <0.00%> (+1.48%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[chenzl25]

LGTM. BTW, between is also some kind of range.

[fuyufjh]

LGTM for rest.

[xxchan]

between is also some kind of range.

between is bound to <= AND >=, so it's already supported. Added a test case.