Extended the stronger invariant to the sizes array
Switched on rrbvector xunbalanced benchmarks