Add test for rollback trigged by second isTooBig check in withdrawal algorithm

Not unless we change cthckTxOutputs to not care about reference identity. It would fail since I'd have to create my own WithdrawalOutput to wrap outputs[0].