Right now we're #1, #7, #25, and #37.
I don't think a trade-down with a QB as target would happen with that spread.
Considering all the QBs that will be going Top 5 or Top 10, the focus with that #7 pick should probably be on picking up an elite caliber player at a non-QB position. They have no shortage of "good" picks over 2020 and 2021. What they need to do is make certain the picks count. Using that #7 pick on the 3rd or 4th best non-QB player in the draft is a pretty good way of doing that.
As for that #25 pick, it may be too far down the board. You'd have to hope someone feel pressured to move up there for perhaps the last of the five I pointed out above, or maybe someone falls in love with Jalen Hurts. So Miami could be stuck using this pick, although my preference would be on trading it down in order to keep your future budgets larger.
Looking into this a little further, I don't think there's an easy answer, but I still lean toward trading down - assuming the compensation is attractive. If we look at the Top 10 picks from 2010-present, the only star WR's are A. Green, J. Jones, M. Evans, and A. Cooper. Of picks 11-20, OBJ and B. Cooks are the only ones. Not looking at RB, because it's RB, and not looking at OL, because the premise is Miami needs star players.
If we're looking at the class most similar to 2020 in terms of WR talent, 2014 looks like the best comp, and OBJ and Cooks went after Evans (who went #7 overall). S. Watkins, of course, went in the Top 5 as the first WR off the board. If we ranked those players, it'd go OBJ, Evans, Cooks, Watkins. But, the sample is ridiculously small, and the point is just that WR is hard to evaluate. At the position, I'd rather see who falls to the Houston pick and spend one of the 2nd RD picks, as well, or I'd be happy if Miami spent two 2nd's.
If Miami stays at 7, it will likely be OT, CB, or Pass Rusher. I'd remove Pass Rusher from the list, because the D doesn't highlight the position. Rather than paying C. Jones, NE traded him for a 2nd. They also let T. Flowers walk. Because the DE's and OLB's in the D tend to be tweeners, spending premium resources on either doesn't make much sense to me.
That leaves OT and CB - two positions where NE has invested, giving Revis and then Gillmore big contracts (though Revis was a rental) and drafting Solder Top 20 and Wynn Top 25 - two of their earliest picks of the decade. If Miami is targeting OT, I think they'd be smart to trade down, as there appear to be 3-5 quality starters, depending on who declares.
If it's CB, it'll depend. Okudah looks like the CB most likely to go Top 10, and of any non-QB in the class, he makes the most sense at 7 for Miami. But, Miami could likely draft C. Henderson after trading down, and I see him as also having star potential at CB, with a relatively high floor (assuming health).
It's early in the process, and I'm sure a lot will change, but if Miami is able to pick up a future 1st in a trade down, I wouldn't pass that up to pick any one non-QB in this class. I like Jeudy a lot, but I don't see him as an A. Green or J. Jones type of super-elite WR, and that's the only type of player for which I'd say no to a trade down.
While Miami does have a lot of Day 1 and Day 2 picks on the horizon, they'll miss on some - hopefully less than usual. It's better imo to have two picks in the 10-25 range than one in the Top 10. Also, if Miami trades the #7 pick to a team trading up for QB, there's a real chance that the 2021 pick they'd get would wind up a Top 10 pick anyway.