Implement test function splitting

As a step towards sum factorization, this implements a splitting of test function modified arguments from the rest of the form.

While at it, I introduced a data structure ModifiedArgument, which uses pytools.Record and is much better for debugging.