bump submodules; build with parameterized-utils 2.3

[spernsteiner]

Latest crucible requires parameterized-utils 2.3, so this also bumps several other submodules to allow building with that version.

[spernsteiner]

What's the proper procedure for updating the cabal.*.config freeze files with the new versions? I looked for docs in the repo and saw a bit about manual edits to the files but not the overall procedure for generating them.

[RyanGlScott]

Use cabal freeze --enable-tests -w <GHC> to generate a cabal.project.freeze file, which you can then rename to the corresponding cabal.GHC-*.config file.

[sauclovian-g]

If you end up regenerating them all, close #2945.

(Also, if you do, and regenerating them for ghc 9.10 and 9.12 won't be materially more work, updating the 9.10 and 9.12 ones on the ghc-10-12 branch would save me the trouble; but if it would take effort, don't worry about it)

[spernsteiner]

I've pushed an update to the freeze files for 9.4–9.8 to see if this gets the CI working. For 9.10 and 9.12, dependency resolution currently fails due to the base version bounds in cryptol and crucible respectively.

[sauclovian-g]

For 9.10 and 9.12, dependency resolution currently fails due to the base version bounds in cryptol and crucible respectively.

Yes, that's why I mentioned the branch... :-)