Invariants we could assert: * Array store is sorted * Array store is deduplicated * Bitmap store length is correct * Roaring containers are sorted by key * Roaring datastructure len is correct in #182 I think debug asserting this for every mutation and creation would be best.
Invariants we could assert:
I think debug asserting this for every mutation and creation would be best.