Function ck_step 

pub fn ck_step<const K: usize, const CS: usize>(
    i: CkIn,
    r: CkState,
) -> (CkOut, CkState)

One cycle of checkpointing and catch-up. K chunks make a state; CS is log2 of the checkpoint interval.