I agree with the line of thought, but I think it requires qualifiers and context. Miami will likely not find a DT that they can count on to disrupt the QB or make a lot of plays in the backfield in the 4th or later. Of the DT's who may be available, Bilal Nichols, James Looney, and PJ Hall stand out as talented enough, but each is more likely to develop into a rotational DT than a high-quality starter - Hall and Nichols transitioning from small schools, Looney having a boom-bust profile and play style. Because they're plus athletes with legit upside beyond their athleticism (athleticism caps ceilings but doesn't indicate success at DT), any or all could be gone before Day 3 starts.
I say it's unlikely, but there is a guy with a high ceiling and a better shot to pan out - Trenton Thompson. He struggled with a knee injury 2017, but he was coming on very strong at the end of 2016. He finished 2016 as the team leader in TFL and tied for the team lead in sacks. He's stronger than his size indicates, and he'd be the guy I'd target on Day 3. Don't see Fatukasi falling, but if he did, he'd be another solid bet.
The other option would be looking for a safer starter, with less value if he hits. Derrick Nnadi is going to be a stud run defender. He may be the hardest DT to move in the draft. He doesn't offer any upside as a pass rusher - slow and lacks agility and burst. If you feel you need a starter, and you think you can compensate for a lack of inside pass rush, Nnadi would make sense.
Should also say that DT isn't an any transition. Instincts and intelligence are important traits (one of the reasons I'm high on Harrison Phillips), and adjusting to the strength and athleticism of NFL OL takes times - even for the guys who turn into All Pros. We're talking about what these guys can develop into in years 2 and 3 - not what they'll provide in 2018.