Support building with GHC 9.4

This contains a variety of tweaks needed to make the libraries in the
`macaw` repo build with GHC 9.4:

* `ST` no longer has a `MonadFail` instance. See
  [this section](https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.4?version_id=b60e52482a666d25638d59cd7e86851ddf971dc1#st-is-no-longer-an-instance-of-monadfail)
  of the GHC 9.4 Migration Guide. To adapt to this change, I had to change some
  uses of `fail` to `error`, and I also had to avoid some partial pattern
  matches in `do`-notation to avoid incurring `MonadFail (ST s)` constraints.
* GHC 9.4 is pickier about undecidable superclass checking. As such, I needed to
  explicitly enable `UndecidableSuperClasses` in a handful of places.
* The following submodule changes were brought in to support building with
  GHC 9.4:
  * `asl-translator`: GaloisInc/asl-translator#51
  * `bv-sized`: GaloisInc/bv-sized#27
  * `bv-sized-float`: GaloisInc/bv-sized-float#4
  * `crucible`: GaloisInc/crucible#1073

    (This also requires bumping the `llvm-pretty`, `llvm-pretty-bc-parser`,
    and `what4` submodules as a side effect)
  * `dismantle`: GaloisInc/dismantle#40
  * `grift`: GaloisInc/grift#8
  * `macaw-loader`: GaloisInc/macaw-loader#17
  * `semmc`: GaloisInc/semmc#79

Author: RyanGlScott

base/src/Data/Macaw/CFG/Core.hs

@@ -23,6 +23,7 @@ single CFG.
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 module Data.Macaw.CFG.Core
   ( -- * Stmt level declarations
     Stmt(..)

base/src/Data/Macaw/CFG/Rewriter.hs

@@ -185,7 +185,7 @@ addBinding srcId val = Rewriter $ do
   lift $ do
     m <- readSTRef ref
     when (MapF.member srcId m) $ do
-      fail $ "Assignment " ++ show srcId ++ " is already bound."
+      error $ "Assignment " ++ show srcId ++ " is already bound."
     writeSTRef ref $! MapF.insert srcId val m
 
 -- | Return true if values are identical
@@ -716,7 +716,7 @@ rewriteValue v =
       srcMap <- lift $ readSTRef ref
       case MapF.lookup aid srcMap of
         Just tgtVal -> pure tgtVal
-        Nothing -> fail $ "Could not resolve source assignment " ++ show aid ++ "."
+        Nothing -> error $ "Could not resolve source assignment " ++ show aid ++ "."
     Initial r -> pure (Initial r)
 
 -- | Apply optimizations to a statement.

base/src/Data/Macaw/Memory.hs

@@ -15,6 +15,7 @@ Declares 'Memory', a type for representing segmented memory with permissions.
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 module Data.Macaw.Memory
   ( Memory
     -- * Inspecting memory

deps/asl-translator

@@ -6,6 +6,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 module Data.Macaw.SemMC.Operands (
   ExtractValue(..),