You're just offering non-helpful ivory tower criticism without even understanding the problem space (which is actually one of the hardest open research problems in software engineering, cs.PL + formal methods).
But if I'm wrong, dare say, how would you write a production memory-safe JIT compiler today?