"I think their original memo got many of the problems right - but I think the solution lies in a more general VM approach".

I think Dart is the preferred way to target that VM. Staying at the language level eliminates binary format headaches!

Besides, the web should not be binary.