Relax some assertions in importAnalysis

WasmBeginCatch and WasmThrow would assert that the input matches with
the type in the instruction in the importAnalysis. This can fail if
mutations change those. With this change we will now throw a
missingTypeInformation exception instead of crashing.

Change-Id: I1f4cfbab67fcc54629a614643b39a898505c126d
Reviewed-on: https://chrome-internal-review.googlesource.com/c/v8/fuzzilli/+/7977728
Reviewed-by: Matthias Liedtke <[email protected]>
Commit-Queue: Carl Smith <[email protected]>

Author: carl-smith

Sources/Fuzzilli/Lifting/WasmLifter.swift

@@ -1092,10 +1092,16 @@ public class WasmLifter {
                 self.tags[instr.output] = op.parameters
 
             case .wasmBeginCatch(let op):
+                if !typer.type(of: instr.input(0)).isWasmTagType {
+                    throw WasmLifter.CompileError.missingTypeInformation
+                }
                 assert(typer.type(of: instr.input(0)).wasmTagType!.parameters == op.signature.parameters)
                 importTagIfNeeded(tag: instr.input(0), parameters: op.signature.parameters)
 
             case .wasmThrow(let op):
+                if !typer.type(of: instr.input(0)).isWasmTagType {
+                    throw WasmLifter.CompileError.missingTypeInformation
+                }
                 assert(typer.type(of: instr.input(0)).wasmTagType!.parameters == op.parameters)
                 importTagIfNeeded(tag: instr.input(0), parameters: op.parameters)