Merge main into develop

[dannywillems]

Requesting @mitschabaude to review.
Commands to reproduce:

cd mina
git checkout develop
cd src/lib/snarkyjs
# # should be already the case.
git checkout develop
# # fetch latest main changes
git checkout main
git pull origin main
git checkout develop
# # create a new branch to merge the main changes into develop
git checkout -b dannywillems/main-into-develop
# For bindings
cd src/bindings
# # fetch latest main changes
git checkout main
git pull origin main
git checkout develop
# # create a new branch to merge the main changes into develop
git checkout -b dannywillems/main-into-develop
git merge main
# Fix conflicts not related to compiled
# (**) see below
npm run bindings
git merge --continue
git add ocaml/lib/consistency_test.ml
git commit -m "Fixup to make npm run bindings happy"

** I added 6763ac5. source_pk is not a field of Payment anymore.

[mitschabaude]

Thanks @dannywillems!