Directly download wabt binary and use it in spec test instead of building it from source to fasten the spec test.