Agree, if someone crashes and you red flag the session add time back so everybody has the same chance to set a fast lap. Verstapen had a chance to go faster and Hamilton seemed to pit right after the crash, so he could have stayed out for one more lap had the session not ended.