crucible-wasm: Adapt to select having an optional value type

This bumps the `haskell-wasm` commit to
SPY/haskell-wasm@c743e11
and does the minimum amount of work needed to make `crucible-wasm` continue to
compile after these changes. In particular, the `select` instruction now has an
optional value type indicating the type of its first and second operand, which
`crucible-wasm` ignores. This is OK for now, as `crucible-wasm`'s
implementation is currently simple enough where the types of all its stack
values can be inferred without any additional type information.

crucible-wasm/src/Lang/Crucible/Wasm/Translate.hs

@@ -573,7 +573,12 @@ genInstruction genReturn im st ctrlStack instr =
     Wasm.Drop ->
       void $ popStack
 
-    Wasm.Select ->
+    -- The `select` instruction includes an optional value type, which indicates
+    -- the type of its first and second operands. We do not currently make use
+    -- of this type, however, as crucible-wasm's implementation is simple enough
+    -- where the types of all possible stack values can be inferred without any
+    -- additional type information.
+    Wasm.Select _mbValTypes ->
       do c <- popTest
          y <- popStack
          x <- popStack