We fail when running against Anders and Briegel simply because we use a
different CZ table

Think CircuitModel.act_cz is wrong

But it is not symmetric. I wonder why. Can run with either for now.

Probably time to run some tests against anders and Briegel

Using `combinations` instead of `combinations_with_replacement` was
leading to entries of the form [ ... , i, i] being excluded from the CZ
table.

At least we have infinite-size graphs now