Are there any thoughts on debugging this kind of code?
How do we know that the code was correctly treated as asm.js,
and if not, can we know why?
As for debugging, the story is the same as Emscripten. I believe there's plenty of work to do to make it better, but it's no different than the existing state of affairs. All we're doing is formalizing existing practice so that engines can capitalize on it and optimize better.