Yes. Isomorphic code was always about having to prove the correctness of a smaller body of code.

Web assembly will see a whole new round of people trying to do monoglot programming. Which I welcome, because I like JavaScript well enough but I don’t like writing it all day, every day, for years at a time.