When Max Verstappen goes to Las Vegas chasing a fourth successive Formula One title, he will be racing around a floodlit track his Red Bull team have simulated some eight billion times already.