v0.21.0

[0.21.0] - 2022-10-27

Changed

• add type and exports fields in package.json #637;
• Fix bottom-up and top-down traversals in the prover (affects nested sigma conjectures) #644;
• enable wasm-opt pass, make compiler optional to minimize wasm binary #646;