Once we refactor the permutation argument implementation to be integrated as Vec<permutation::Proof>, we can change this again to just map from the Vec<permutation::Argument> inside ConstraintSystem.
This also centralises the challenge generation logic in Challenge::get, ensuring it is consistent across the codebase.