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

This check is not really ensuring the output amount as the comment says. Also, can't you replace this with something like "checkTxOutputs(t, tx, []*WithdrawalOutput{outputs[0]})"?