Add cross-table-boundary constraints

[jan-ferdinand]

(Originally posted by @sshine.)

Consider cross-table boundary constraints: We currently don't have a section like ext_difference_constraints(). In .prove(), however, we do call .quotient() / .quotient_degree_bound() on each PermArg; that seems to function as the cross-table boundary constraints for codewords. But they're not added for evaluation arguments. And neither are tested against trace tables, only codewords.

• [ ] Add a section for these constraints so that they can be tested against the trace.
• [ ] Add cross-table boundary constraints for evaluation arguments.

(Originally issue number 35 in the internal issue tracker.)