Support non-native arithmetic

[enricobottazzi]

Currently, the circuit doesn't support Q values that are outside of the p prime of the circuit. This is a limitation. Solution is to add support to non-native arithmetic. A possible tooling to use is https://github.com/privacy-scaling-explorations/halo2wrong

• Support with non-efficient polymul

[kilic]

Also rework of halo2wrong https://github.com/kilic/halo2wrong2 could be considered