Unify versions between bindings and proof-systems + add asm flags

[volhovm]

• Unified packages/version lower bounds with proof-systems
  • As a result, Cargo.toml uses more same-version dependencies. serde_with is now 3.6.0 (which it was in proof-systems) only, and 2.3.3 is not used anymore. Same or serde_with_macros. rmp-serde is 1.1.2 now, and the 0.15.5 version is not used anymore.
• Added asm flag to ark-ff

See:

• Unify cargo requirements with bindings, add asm flags o1-labs/proof-systems#2574
• Unify versions + add asm flags kimchi-stubs-vendors#3

[volhovm]

!ci-build-me

[dannywillems]

If you want to enforce a version to be exactly "x.y.z", you have to use "=x.y.z": https://doc.rust-lang.org/cargo/reference/specifying-dependencies.html

[volhovm]

@dannywillems yeah I know, I admit that trying to have the lower bounds in Cargo files synchronized is a tiny bit pointless because cargo can still select different sets of (higher) versions for two builds (which it does). Unless bindings and proof-systems are in the same repo this is a bit pointless. But on the other side having toml declarations synced means the only difference can happen in lockfiles, which simplifies debugging I guess :)

(I was avoiding =x.y.z on purpose, leaving it upper-bound-open should decrease the probability of an ugly version conflict IIUC)

[volhovm]

@dannywillems thanks! merging