pub fn verify_entry(
    expected_root: H256,
    proof: impl IntoIterator<Item = Vec<u8>>,
    key: &[u8]
) -> Result<Vec<u8>, ProofError>