So say there's a transaction X, that i hold in my LibBitcoin instance and that has been stored in block Y on the blockchain.
I now like to compile an SPV proof that contains the content of X (that is a verbatim copy of the transaction X), together with the SPV proof for X, meaning anyone with Y's merkle root will be able to deduce that X belongs in Y
