Integrate folding of more than one constraint with the IVC circuit

[joseandro]

• [ ] Fold each instruction in testing.
• [ ] It will also show if there are some instructions that are not implemented correctly. It implies writing quickly testing for each instruction (danny can take care of it in parallel of the tasks below when the rest of the team integrate decomposable folding).