feat: adding RPC: get_transaction_and_witness_proof & verify_transaction_and_witness_proof

[code-monad]

What problem does this PR solve?

Issue Number: close #3628

Problem Summary:

What is changed and how it works?

What's Changed:

• Introduced two new RPC method called get_transaction_and_witness_proof & verify_transaction_and_witness_proof

get_transaction_and_witne_proof

This methods accepts the same params as get_transaction_proof, and returns a similar structure TransactionAndWitnessProof

struct TransactionAndWitnessProof {
    /// Block hash
    pub block_hash: H256,
    /// Merkle proof of all transactions' hash
    pub transactions_proof: MerkleProof,
    /// Merkle proof of transactions' witnesses
    pub witnesses_proof: MerkleProof,
}

verify_transaction_and_witness_proof

When we called with same valid param of get_transaction_and_witness_proof & get_transaction_proof, use their result as param of verify_transaction_and_witness_proof & verify_transaction_proof, the final result should be the same(the hash of the transaction this proof pointed to)

Check List

Tests

• Unit test
• Integration test
• Manual test (add detailed scripts or steps below)
• No code ci-runs-only: [ quick_checks,linters ]

Release note

Note: Add a note under the PR title in the release note.

[quake]

bors r=quake

[bors]

Build succeeded:

• ci_benchmarks_ubuntu
• ci_cargo_deny_ubuntu
• ci_integration_tests_ubuntu
• ci_linters_ubuntu
• ci_quick_checks_ubuntu
• ci_unit_tests_ubuntu
• ci_wasm_build_ubuntu