I tend to use Option 1, with the restatement listed as
\begin{lemma}[Restatement of Lemma 3.1} xxxx \end{lemma}
Alternatively, "For the convenience of the reader, we restate Lemma 3.1."
But I'm not sure how good a question this is for MO, since it certainly doesn't have a specific answer, you'll undoubtedly receive different opinions. Finally, specific journals may have their own preferred styles for doing this, in which case that's the one to use.