Function read_verified 

fn read_verified(
    what: &str,
    reader: impl Read,
    expected: &Digest,
) -> Result<Vec<u8>>

Read a blob and verify that it hashes to expected.