Function get_nontrivial_evaluation_points

pub fn get_nontrivial_evaluation_points<F: Field>(
    domains: &[InterpolationDomain<F>],
) -> Result<Vec<F>, Error>

Validate the sumcheck evaluation domains to conform to the shape expected by the SumcheckRoundCalculator:

1. First three points are zero, one, and Karatsuba infinity (for degrees above 1)
2. All finite evaluation point slices are proper prefixes of the largest evaluation domain