Gravar-mail: Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models