DataFrame GroupBy().size() aggregation produces incorrect results

size is treated as a liftable aggregation which assumes it is commutative and associative, but it's not actually associative. It can be lifted, but the post agg step needs to be a sum.
This means the size aggregation will produce incorrect results.