Function verify_digest 

pub(crate) fn verify_digest<D>(
    pub_key: &RsaPublicKey,
    hashed: &[u8],
    sig: &BoxedUint,
    salt_len: Option<usize>,
) -> Result<()>
where
    D: Digest + FixedOutputReset,