Usecase is that as we work on #4085 we need to have some way to:
- Verify page index filtering is actually working / enabled as expected
- Evaluate its efficiency (how long it takes, etc) to see if further optimizations are needed
What I would like is:
- Add metrics for "how many rows were pruned using page level skipping" and "how long did the page level skipping code take"
Related work is this PR that added similar metrics for filter pushdown (see #3989) -- we can probably follow a similar approach
cc @Ted-Jiang