Support building with GHC 9.4

This contains a handful of small tweaks needed to make the libraries in the
`dismantle` repo build with GHC 9.4:

* I have bumped the upper version bounds on `text` to allow building with
  `text-2.0.*`, which is bundled with GHC 9.4.
* GHC 9.4 is pickier about undecidable instance checking. See
  [this section](https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.4?version_id=24540b698481cf2b0bd11029b58eaddc0fbfbb31#stricter-undecidableinstances-checking)
  of the GHC 9.4 Migration Guide. As a result, I had to explicitly enable
  `UndecidableInstances` in `What4.Utils.AbstractDomains` to make it compile.
* I have bumped the `parameterized-utils` submodule to bring in the changes from
  GaloisInc/parameterized-utils#146, which is needed to make it build with GHC
  9.4.

Author: RyanGlScott

deps/parameterized-utils

@@ -32,6 +32,7 @@ a lookup will retrieve all elements with a key that matches the provided mask.
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 module Data.BitMask
   (

dismantle-arm-xml/src/Data/BitMask.hs

@@ -66,7 +66,7 @@ library
                        hashable,
                        unordered-containers,
                        zlib >= 0.6 && < 0.7,
-                       text >= 1 && < 2,
+                       text >= 1 && < 2.1,
                        vector,
                        tasty >= 0.10,
                        tasty-hunit,