Verify a Receipt

Check that a payment receipt belongs to a batch anchored on Stellar. Checked twice: locally from the proof, and independently by the contract.