Unordered: More invariant testing.
In case there are elements in buckets that aren't in the element list. Required because the data structure has changed since the original implementation.