If Jeff Thomas runs significantly slower than 4.38, it'll be a testament to his laziness - or some other issue I'm unaware of. Watching his 2018 stuff, he looks like he runs in the 4.3's.
For me, 39 and 56 look like great spots. If the team wanted to wait longer and target the depth of the class, rather than the top, I'd be fine with that, too. I keep coming back to this, but, outside of QB, the strongest groups in 2020 are WR, OT, and CB. This is close to a perfect scenario for a team with a ton of picks - especially one starting from scratch like Miami.
18 is interesting, because Wills, Thomas, Wirfs, Bekton, and Jones could all be off the board. I think one is likely still available, but if not, Miami is in a bit of a spot. I have 4 WR's and 2 CB's I'd be good drafting there (Lamb, Jeudy, Reagor, Higgins, Okudah, Henderson), but it seems like only Reagor, Higgins, and Henderson are decent bets to still be available. Btw, I think Okudah and Henderson both have 32"+ arms. The OT's, WR's, and CB's I listed are the only options I like at 18 outside of Young and Simmons, who won't be there. I could maybe get on board with Epenesa.
If the OT's are gone, a trade down makes a lot of sense - assuming of course they have the option. Otherwise, I'd probably just pull the trigger on Reagor, who complements Parker, Williams, and Gesicki better than anyone and would give Miami elite speed and burst that can actually play - easy separation, high points the ball very well, tracks the ball very well, and he's excellent with the ball in his hands. I see some people knocking him for being weak over the middle, but he's better/tougher here than guys like Desean Jackson, T. Hill, and W. Fuller, and that's not really the way you should use him.
Tua, A. Thomas, and Reagor would be my perfect 1st Round - assuming Miami can move up to 2 or 3 without giving up 18 or 26, which seems plausible.