Once arkworks-rs/r1cs-std#129 ready, update nova+cyclefold circuit impl to use it

[arnaucube]

Currently in the Nova+CycleFold circuits there are some parts that take NonNativeFieldVar representations and hash them or check their values, but without doing actual computations.
The current ark-r1cs-std version automatically computes the limbs & bits needed for the NonNativeFieldVar in order to be able to operate with them (ie. sum, mul, etc).
In the described use case we don't need to operate with them but just to hash them or check their values, so once arkworks-rs/r1cs-std#129 is merged, we could make use of the custom configuration to reduce the number of limbs used, and therefore reducing the number of constraints taken by the AugmentedFCircuit of Nova.

Note: two weeks ago the NativeFieldVar was renamed to EmulatedFpVar: arkworks-rs/r1cs-std@ed2d55e