Greco - Constraint e1 mod q == e1is[i] polynomials

[ozgurarmanc]

To constraint e1 and e1is polynomials we will have to implement a method that does this in Noir, so we can do verification with e1is while doing bound checks with e1

[0xjei]

can you improve the title, this is not a refactoring, we are just adding the constraint