verifyURDF passes with 1e-7 tolerance for over 100 random sets of initial conditions.  With u ~= 0, passes with tolerance 0.5.  This looks to be because of the linearization with atan2() inside the AOA calculation for the control surface.  By far the worst state is pitch-dot.