CPC: Complementary Progress Constraints for Time-Optimal Quadrotor Trajectories