General issue

[clarus]

General things we need to do:

• update Rocq to 8.20; this will probably require replacing RecordUpdate.v by the version in coq-of-rust
• update to the newer version of the Noir compiler. This will probably require changing the datatypes in our Python script translation.