Function is_valid_tx_inclusion_proof

pub fn is_valid_tx_inclusion_proof(
    block_tx_root: MerkleHash,
    tx_index_in_block: usize,
    num_txs_in_block: usize,
    tx_hash: H256,
    proof: &TrieProof,
) -> bool

Use proof to verify that tx_hash is indeed the tx_index_in_block-th transaction in a block with num_txs_in_block transactions and transaction root block_tx_root.