Function default_config 

pub fn default_config(
    perm: &Poseidon<Goldilocks, MdsMatrixGoldilocks, WIDTH, 7>,
) -> GoldilocksPoseidonConfig

pcs_log_degree is the upper bound on the log_2(PCS polynomial degree).