I doubt the language picked will have significant impact; reliability will mostly depend on the extensiveness/correctness of simulations. And presumably with sufficient coverage (and at the scale, we require it) memory bugs will be the least of our safety worries