Implement a utility method to get a complete TX proof and verify it

[Yoav Tock]

Implement a utility method to get a complete TX existence proof and verify it, relative to the last block (or a given block number >= tx-block).

• get last block (or given block number) header
• get path and verify it, to genesis - tx-block - last block
• proof to tx in block, verify it