Containerize liquid builds

Author: ulysses4ever

.github/workflows/build-liquid.yaml

@@ -19,18 +19,11 @@ on:
 jobs:
   main:
     runs-on: ubuntu-latest
+    container: ghcr.io/ulysses4ever/lh-array-sort
     steps:
 
       - uses: actions/checkout@v4
 
-      - name: Setup Z3
-        uses: cda-tum/setup-z3@v1
-
-      - uses: haskell-actions/setup@v2
-        with:
-          ghc-version: 9.10.1
-          cabal-version: 3.14
-
       #  See the following link for a breakdown of the following step
       #  https://github.com/haskell/actions/issues/7#issuecomment-745697160
       - uses: actions/cache@v4