I like Option 3. The question, when choosing between Options 2 and 3, seems to me to be whether you want a reader looking for this theorem to look in the intro or at the proof. This could either be a reader chasing a reference internal to your paper, or coming from some other paper which cites [Shulman, Lemma 7.2]. Either way, it seems to me you want him or her to go to Section 7.
I see no reason not to number the theorem in the intro -- why not tell the reader where to find the proof?
The exception I'd make is if the intro gives a less precise, more user friendly, version of the theorem. Then I'd give them separate numbers, so that they can be cited separately.