Proof::verify does not verify recursively

[St333p]

As the get_needed_txs calls itself recursively to get all the txs that are needed in order to verify the validity of the current Proof I would expect verify to do the same. We'd better check if this is a desired behavior, for example leaving the job to the wallet side, and in this case we should evaluate what's the best design.