[analysis] Add a generic powerset lattice

[tlively]

Add Powerset2<Set> that implements the lattice of sets concretely represented as Set ordered by subset as well as the full lattice FinitePowerset2<Set> that is additionally configurted with the universe of set elements so it can produce a top element, which is the set of everything in the universe.

The "2" in the name serves to temporarily differentiate these new powerset lattices from the existing powerset lattices, which are less flexible and will be replaced with the new powerset lattices in a future PR.

Also add a new BitSet utility that implements a set interface matching e.g. std::set<size_t> or std::unordered_set<size_t> in terms of a std::vector<bool> bit vector. Use BitSet as the concrete set implementation used to fuzz Powerset2 and FinitePowerset2.

[tlively]

Current dependencies on/for this PR:

• main
  • PR #6056
    • PR #6057
      • PR #6058
        • PR #6062
          • PR #6064
            • PR #6065
              • PR #6067
                • PR #6069
                  • PR #6071
          • PR #6059 👈

This stack of pull requests is managed by Graphite.