Function verify_checkpoint

pub fn verify_checkpoint<S>(
    current: &VerifiedCheckpoint,
    store: S,
    checkpoint: CertifiedCheckpointSummary,
) -> Result<VerifiedCheckpoint, Box<CertifiedCheckpointSummary>>
where
    S: WriteStore,