Why is it "over-optimization" to use language with a genuinely well-implemented runtime?