Optimise conversion between cycle_scalar and bigfield

[maramihali]

The current version is wasteful in terms of gates added. An alternative is to make arithmetic operations between cycle_scalar elements possible so we don't have to do the conversion in the ECCVM recursive verifier.