pub fn revoke_credential(
    rev_reg_def: &RevocationRegistryDefinition,
    rev_reg: &RevocationRegistry,
    cred_rev_idx: u32,
    tails_reader: &TailsReader
) -> Result<(RevocationRegistry, RevocationRegistryDelta)>