Function ensure_transition 

fn ensure_transition<F: FftField>(curr: &[F], next: &[F]) -> Result<(), String>