Budget: create verify, redeem, and reverse steps

Redeem is split in two steps, and the transactions
can be reversed, using the returned transactions