Enable trace support for wasm-shell (binaryen)

[Javier Cabrera]

The header "wasm-interpreter.h" has a definition to use a "standard" trace functionality (see the "NOTE_ENTER" templates).

It would be good to execute wasm binaries with such capability (see WASM_INTERPRETER_DEBUG flag).

As far as I can see, the trace format (in the wasm-intepreter.h file) is somehow a natural language. Probably, it is a good idea to extend it to export CTF format, or use the same format that we include in swam trace support.

[Martin Monperrus]

It would be good to evaluate wasm binary executions with such capability (see

WASM_INTERPRETER_DEBUG flag). great idea

it is a good idea to extend it to export CTF format

yes!