adding another dynamic set for uint64, this time a bitvector backed by a fixed height summary tree.