wabt 1.0.23 -> 1.0.24
wabt 1.0.23 -> 1.0.25
wabt 1.0.23 -> 1.0.26