all_set_combinations: Enumerate all 2^n - 1 combination labels for a set of names
Description
Generates labels in cardinality-first order: singletons first, then pairs,
then triples, etc. Within each cardinality, set names appear in their
original order. Used only by the Venn path (bounded at n = 5).