I think they will trade back for a pick next year. The early portion of this draft has a lot of talent so staying doesn't really gain much. This is a good team and I believe will have a lot of wins next year so getting a 2014 pick from anybody will put us in better position next year.
There is always a chance that a DT such as Kawaan Short or Sylvester Williams slides, then I'm sure they will consider trading up for one of them. If you choose option 1 you may be saying that someone like that will slide.