As for violating the fine print on citizenship on a US passport, there are reasons not to take his citizenship based on that that would set up an awkward precedent, I think, in the way we would have to treat other members of al-Qeada.
Simply taking up arms against the U.S. is a renunciation of U.S. citizenship. He did not need to execute a formal renunciation.