Support building with GHC 9.4

This makes a variety of small tweaks needed to make `asl-translator` build with
GHC 9.4:

* GHC 9.4 is pickier about undecidable superclass checking. As such, I needed
  to explicitly enable `UndecidableSuperClasses` in `Language.ASL.Globals`.
* The upper version bounds on `text` were raised to allow building with
  `text-2.0.*`, which is shipped with GHC 9.4.*.
* The following submodules were bumped to bring in changes needed to make them
  build with GHC 9.4:
  * `crucible`: GaloisInc/crucible#1073
  * `dismantle`: GaloisInc/dismantle#40

asl-translator.cabal

@@ -39,7 +39,7 @@ common shared-properties
                        ilist,
                        integer-logarithms,
                        bimap,
-                       text >= 1 && < 2,
+                       text >= 1 && < 2.1,
                        mtl,
                        transformers,
                        lens,
@@ -106,7 +106,7 @@ executable asl-translator-exec
                        what4,
                        asl-translator,
                        split,
-                       text >= 1 && < 2
+                       text >= 1 && < 2.1
   hs-source-dirs:      exe
   ghc-options:         -Wcompat -Wall -O2 -threaded -rtsopts "-with-rtsopts=-N"
   default-language: Haskell2010

lib/Language/ASL/Globals.hs

@@ -22,6 +22,7 @@
 
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 
 {-# OPTIONS_GHC -ddump-splices -ddump-to-file -dth-dec-file #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}