Design and Analysis of an Instrumenting Profiler for WebAssembly