If we want to merge wasm related PRs (#137, #138, #139), we need to fix the CI. I'll look into this today. CC: @Pauan, @zer0x64, @IcanDivideBy0