Support building with GHC 9.8

[RyanGlScott]

This patch:

• Tightens up imports in Cryptol.Eval.FFI.GenHeader to avoid importing two different versions of unzip (note that GHC 9.8 defines unzip in Data.Functor, which is different from the version defined in Data.List).
• Bumps the upper version bounds on various dependencies (base, sbv, etc.) to support versions that are compatible with GHC 9.8.

Fixes https://github.com/GaloisInc/cryptol/issues/1624.

[RyanGlScott]

A mysterious failure in the Cryptol / test (test-lib, ffi, windows-2019, false) job here, which deserves a closer look:

  tests:
    ffi:
      ffi-fallback-rec.icry: [OK]
      ffi-fallback.icry: [OK]
      ffi-header.icry: [OK]
      ffi-no-dup.icry: [OK]
      ffi-no-functor.icry: [OK]
      ffi-reload.icry: [OK]
      ffi-runtime-errors.icry: [OK]
      ffi-type-errors.icry: [OK]
      test-ffi.icry: [Failed]
39,45d38
< (ratio 2 1)
< [(ratio 4 1), (ratio 1 4)]
< ((ratio 37 1), 72)
< 2
< 0
< 1
< 0x48

# If output is OK:
cp D:\a\cryptol\cryptol\output\.\tests\ffi\test-ffi.icry.stdout \
     D:\a\cryptol\cryptol\tests\ffi\test-ffi.icry.stdout.mingw32

         Test Cases  Total 
 Passed  8           8     
 Failed  1           1     
 Total   9           9     
Error: Process completed with exit code 1.

[RyanGlScott]

Another error, uncovered when building the cryptol-remote-api Docker image (here):

125.8 make --no-print-directory -f ghc.mk phase=0 phase_0_builds
125.8 ghc.mk:141: *** The make build system requires a boot compiler older than ghc-9.2. Your boot compiler is too new and cannot be used to build ghc-9.4 with make. Either boot with ghc 9.0.2 or build with hadrian. See https://www.haskell.org/ghc/blog/20220805-make-to-hadrian.html for advice on transitioning to hadrian..  Stop.
125.8 make: *** [Makefile:124: all] Error 2