I'd have all the options on the table.
Miami are about to head into this year with the most ridiculously low cash payroll I have perhaps ever seen.
Trade down and get Jeffery Simmons plus extra picks this year and/or next year, that would be solid gold.
I don't even particularly care if they trade down multiple times, out of the 1st round altogether. Why not? You're not going to get Ed Oliver at 13 overall.
Why not add multiple OLs like Chris Lindstrom, Erik McCoy, Chuma Edoga, Beau Benzschawel, Josh Miles, Nick Allegretti, Dru Samia, Ben Powers, and Lamont Gaillard.
Could also pick up some bigger DL presences like Dexter Lawrence, Charles Omenihu, Khalen Saunders, Greg Gaines, or Byron Cowart.
Or some edge guys like Chase Winovich, Christian Miller, Zach Allen, Anthony Nelson,Porter Gustin, Jordan Brailford, Jamel Garcia-Williams.
You've got versatile linebackers like Justin Hollins, Andrew Van Ginkel, Tre Lamar, Cody Barton, and Jahlani Tavai.
And who would say no to mid round corners like Trayvon Mullen (well, I guess Slimm would), Isaiah Johnson, or Rock Ya-Sin.
I know that I would still love to add safeties like Juan Thornhill, Johnathan Abram, Nassir Adderley, Deionte Thompson, Taylor Rapp, Ugo Amadi, or Malik Gant.
I guess the point I'm making is you've got a completely new program on both sides of the ball, a stripped-down roster, no chance at Kyler Murray, and probably no chance at the elites up top. So play the numbers game. Fill a BUNCH of spots with "your" kind of guys.