Add optional extra-checks
to Wasmi executor and make checking more consistent
#1217
+216
−56
extra-checks
to Wasmi executor and make checking more consistent
#1217