pub fn verify_proof<H: Hasher>( root_hash: &[u8], key: &[u8], proof: Vec<Vec<u8>>, hasher: H ) -> Result<Option<Vec<u8>>, TrieError>