…e the calldata from Decider's proof. Missing conversion of the point coordinates into limbs (ark compatible)

…dditive identity in calldata

…e from anywhere

…cyclefold_decider` to exported objects

…ation, and abstract also the computed setup params (FS & Decider) to compute them only once for all related tests to save test time

…erifier tests without the big circuit

…#480 & iden3/snarkjs#479

…ametrize limbs params

solidity-verifiers:
* update solidity limbs logic to last nonnative impl version, and to
  last u_i.x impl
* parametrize limbs params
* add light-test feature: replace the '#[cfg(not(test))]' by the
  'light-test' feature that by default is not enabled, so when running
  the github actions we enable the feature 'light-tests', and then we can
  have a full-test that runs the test without the 'light-tests' flag, but
  we don't run this big test every time.  The choice of a feature is to
  allow us to control this from other-crates tests (for example for the
  solidity-verifier separated crate tests, to avoid running the full heavy
  circuit in the solidity tests)

…arams

This is to avoid c depencency for c-kzg which is behind the c-kzg flag
and not needed.

…ev flow, also conditionally template the batchCheck related structs and methods from the KZG10 solidity template