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.