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

It's not immediately obvious what the "second isTooBig check" means when you're just looking at the test. Maybe rephrase this to something like "test the rollback triggered when a tx gets too big after an input is added"?