Based on Wasmtime WAST Crate [896e25e].
I could not quickly find a tool that converts WAST (e.g. from the reference Wasm test suite) to WAT, while preserving the assertions as part of the WASM instructions.
When using the reference WASM interpreter, WebAssembly/spec/interpreter to convert a WAST file to a WAT file (as is performed in this script), the assertions seem to be lost.
The wat (parser) library from the bytecode aliance does not parse WAST files, however the [wast (parser) library] from the bytecode aliance does!