Mina_curves: activating ADX instructions by default

[dannywillems]

Spotted by @sebastiencs.

ADX instructions are not activated otherwise. However, this change activates it all the time, and compiling on machines not supporting ADX will fail. Is it what we want?

If approved, I can backport on develop and benchmark on Mina compatible.

cc @tizoc

[tizoc]

https://docs.minaprotocol.com/berkeley-upgrade/requirements says AVX here but probably meant to say ADX

[dannywillems]

Reg Mina: it seems we build by default with the flags: https://github.com/MinaProtocol/mina/blob/develop/src/lib/crypto/kimchi_bindings/stubs/dune#L59 (and https://github.com/MinaProtocol/mina/blob/compatible/src/lib/crypto/kimchi_bindings/stubs/dune#L13), therefore we should not expect any change in Mina?

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 71.16%. Comparing base (46d7cf8) to head (df85c17).
Report is 5 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2617   +/-   ##
=======================================
  Coverage   71.16%   71.16%           
=======================================
  Files         244      244           
  Lines       57658    57658           
=======================================
+ Hits        41033    41034    +1     
+ Misses      16625    16624    -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[sebastiencs]

ark-std need to be moved from dev-dependencies to dependencies