Function quadraticize

pub fn quadraticize<C: FoldingConfig>(
    constraints: Vec<FoldingExp<C>>,
) -> (Quadraticized<C>, usize)

Returns the constraints converted into degree 2 or less and the extra constraints added in the process