Unless Miami ended up giving up a 6th round pick or less ( I know Jets want more), I would not do it if Miami feels comfortable with Ryan's health.
1, No matter what, Teddy will not be starting, so anything more then a 6th, is very expensive for a backup that will not be here that long if kept as backup.
2. Teddy has health issues as well that though may never really be an issue, there will always be that chance of him going down with one big hit.
3. I absolutely do not want to give the Jets a high draft pick, where they might get lucky and land themselves a quality player,
4. The Dolphins powers that be (Especially Gase) have made up their minds who the starter will be this year, Teddy will not be happy, could start problems in locker-room if some players think Tannehill is not back 100%.