Aggregate-count proof verification (AggregateCountOnRange primitive) — returns a single u64.
AggregateCountOnRange
u64