Revert "(TEMP) use Karamel branch wasm-2.0.0"
Revert "(TEMP) use Karamel branch wasm-2.0.0"

This reverts commit 5214f2e93a8061db9b89fb722e7023662fd61872.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar