Yes, he plans to use the PyPy JIT, but it will generate code that is then JITed by the JS engine JIT.

It doesn't require special static compilation to optimize small amounts of JITed code, all modern JS engines can do that extremely well. asm.js is not necessary there.