Run proof testing in wasm, in CI

Author: sebastiencs

Cargo.lock

@@ -72,6 +72,7 @@ serde_with = "3.6.1"
 anyhow = "1.0.75"
 thiserror = "1.0.60"
 fraction = { version = "=0.15.1", default-features = false, features = ["with-serde-support"] }
+zip = { version = "2.2", default-features = false }
 
 [target.'cfg(target_family = "wasm")'.dependencies]
 getrandom = { version = "0.2", features = ["js"] }
@@ -96,7 +97,6 @@ tuple-map = "0.4.0"
 wasm-bindgen = "=0.2.92"
 wasm-bindgen-test = "0.3"
 web-sys = { version = "0.3", features = ["Blob", "DedicatedWorkerGlobalScope", "MessageEvent", "Url", "Worker", "WorkerType", "WorkerOptions", "console", "Window", "Performance" ] }
-tokio = { version = "1", features = ["macros", "rt"] }
 
 [features]
 # Put zstd behind a feature, cargo always re-compile it without touching the files