1. Find drone operators home addresses, information whether they have significant others, kids. Most of this is public or fairly low security information.
2. Send goon squad to pick up significant other and kids
3. Send threatening message with proof you have significant other and kids with the correct level of pressure for drone operator to follow your instructions very carefully.
4. Now disappear. Very quickly, yeah, the military doesn't like to demonstrate that it has glaring weaknesses in their security and tend to send goon squads the other way to solve the issue.
That said, ultimately I proposed a social engineering attack, there are quieter less threatening methods available that could be effective with enough planning. Ultimately the point here is, formal verification can't work, for it to work the model it is verified against must include every possible form of outside influence and the code at all levels must be 100% verified against that model.
The issues are the order they have chosen is not that simple. They are giving verified bots first choice (some of these are questionable), then owners of partnered servers, then discord for business, then it is going by account age.
They have added a clarification to their blog post: "Current Nitro subscribers paying for the ability to customize their discriminator that registered for Nitro on or before March 1, 2023 will also be given early access." Yeah, when early access is in the list I do not know.