Represent Boundary Constraints as Polynomials

[aszepieniec]

Currently, boundary constraints are represented as a tuple (register, cycle, value). Unfortunately, this is not compatible with the boundary constraints of table extensions, where the concrete value is not known. Instead, we need a representation in terms of (cycle, polynomial), which is strictly more general.

[aszepieniec]

Solved by f45da74