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

So this is the first of the rollback tests I want to make.

It tests the rollback when the first isTooBig returns true in the withdrawal algorith.

The second test case is in the making.
I'd add a TODO comment here but I imagine you're going to be working on this next, so just ignore this if that's the case