Concrete_table.grow can crash

[zapashcanon]

The check is probably incorrect and leads to Array.make being called on bad values:

$ owi run fuzzbug.wat -vv
owi: [INFO] parsing      ...
owi: [INFO] checking     ...
owi: [DEBUG] grouping     ...
owi: [DEBUG] assigning    ...
owi: [DEBUG] rewriting    ...
owi: [INFO] typechecking ...
owi: [INFO] linking      ...
owi: [INFO] interpreting ...
owi: [INFO] stack         : [  ]
owi: [INFO] running instr : call 0
owi: [DEBUG] path condition: [  ]
owi: [INFO] calling func  : func start
owi: [INFO] stack         : [  ]
owi: [INFO] running instr : table.size 0
owi: [DEBUG] path condition: [  ]
owi: [INFO] stack         : [ i32.const 1 ]
owi: [INFO] running instr : f64.const -3.669_056_846_170_798_4e-34
owi: [DEBUG] path condition: [  ]
owi: [INFO] stack         : [ f64.const -3.669_056_846_170_798_4e-34 ; i32.const 1 ]
owi: [INFO] running instr : block $b0 (param f64)
owi: [DEBUG] path condition: [  ]
owi: [INFO] stack         : [ f64.const -3.669_056_846_170_798_4e-34 ; i32.const 1 ]
owi: [INFO] running instr : table.size 0
owi: [DEBUG] path condition: [  ]
owi: [INFO] stack         : [ i32.const 1 ; f64.const -3.669_056_846_170_798_4e-34 ; i32.const 1 ]
owi: [INFO] running instr : table.get 2
owi: [DEBUG] path condition: [  ]
owi: [INFO] stack         : [ funcref ; f64.const -3.669_056_846_170_798_4e-34 ; i32.const 1 ]
owi: [INFO] running instr : i32.const -689531642
owi: [DEBUG] path condition: [  ]
owi: [INFO] stack         : [ i32.const -689531642 ; funcref ; f64.const -3.669_056_846_170_798_4e-34 ; i32.const 1 ]
owi: [INFO] running instr : table.grow 3
owi: [DEBUG] path condition: [  ]
owi: internal error, uncaught exception:
     Invalid_argument("Array.make")
     Raised by primitive operation at Owi__Concrete_table.grow in file "src/concrete/concrete_table.ml", line 48, characters 18-39
     Called from Owi__Interpret.Make.exec_instr in file "src/interpret/interpret.ml", line 1048, characters 8-41
     Called from Owi__Interpret.Make.loop in file "src/interpret/interpret.ml", line 1439, characters 19-53
     Called from Owi__Interpret.Make.exec_expr in file "src/interpret/interpret.ml", line 1464, characters 17-27
     Called from Owi__Interpret.Make.modul.(fun) in file "src/interpret/interpret.ml", lines 1478-1479, characters 16-22
     Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34
     Called from Owi__Interpret.Make.modul in file "src/interpret/interpret.ml", lines 1473-1483, characters 10-40
     Called from Owi__Compile.Text.until_interpret in file "src/ast/compile.ml", line 45, characters 14-56
     Called from Owi__Cmd_run.run_file in file "src/cmd/cmd_run.ml", lines 29-30, characters 4-25
     Called from Owi__Syntax.list_iter.aux in file "src/utils/syntax.ml", line 17, characters 25-28
     Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24
     Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44