Musk said he's done with trying to buy Twitter, but it's unclear if he can just walk away without a massive legal fight.