Added a benchmark for case.
It shows stat we are faster for aggregate(0)(_+_, _+_) starting from 1000 elements in range.
We can use it as a baseline trying to find where we can remove unnecessary allocations.
(For example it seems that root is always being split currently, eliminating it will save us couple of hundreds of elements)