Verification of Neural Network Controllers Using Taylor Model Preconditioning