Make emitting the Names section optional #700
Description
Currently we always emit names. This should probably be optional, and probably default to off, with wasm-as emitting names only when -g is provided.
We'd also need to tell emcc.py to pass -g when it should be (debug_level > 0 or profiling).