“Anyone who is really concerned about correctness should think twice about programming in a kind of free-thread model where everyone has to be very disciplined and put all the locks in the right place to make things work well.”