Function vc_step 

pub fn vc_step<const N: usize, const G: usize, const P: usize>(
    i: VcIn<G, P>,
    r: VcState<N, G, P>,
) -> (VcOut<G, P>, VcState<N, G, P>)

One cycle of the view change.