Function carry_over 

fn carry_over<S: Storage>(
    storage: &S,
    at: Rev,
) -> Result<(Digest, bool), MigrationFailure>

Read rev at as zstd and write it back as gzip, answering the digest its row must now stamp and whether anything moved.