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.
Would you mind moving this check to the bottom of the file, to keep them separate from the test while we don't have the separate file for them?