Bitv isn't growable, but a Vec<bool> should work. Alternatively, we could keep `next_attr_id` and use a `BitvSet` for some memory savings.