I believe the DOJ will wait and see if Omar is indeed re-elected before revoking her citizenship. Doing so now would only create a backlash against the Trump Administration and might secure her victory.
If in fact she does win re-election, then the prudent thing to do at that time would be to arrest her and deport her leaving a need for a special election.