Did Max Verstappen and Esteban Ocon get off lightly for their Brazil transgressions?