Fixed problems with the protocol
- Alice could spend her payout transaction to lock Bob's bail-in
- Third party refunds didn't work at all (needed to be moved to bail-in transactions)
- Reformatting