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

Any reason to set them after creation instead of specifying them when creating the instance?