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

Maybe we could abstract this into a helper method that takes just the custom isTooBig() function? That would simplify the tests and avoid the duplication