I don't know there's a "browser market". As it is, I think the existing code bases are better served by gradually employing C/C++ verification and invariant che

I don't know there's a "browser market". As it is, I think the existing code bases are better served by gradually employing C/C++ verification and invariant checking tools. And not make the web any more complicated than it already is without a need (other than to maintain a browser cartel, that is).