On the Flutter Constraint Formulation for Gradient-Based Optimization of Aircraft Under Geometrically Nonlinear Deformations