Yes, there is a chance that Tua (and the entire offense) would perform better behind a good o-line. However, when was the last time that Miami had a highly ranked physically dominating o-line? Ever since Philbin, Miami's o-lines have been a little below average at best, to historically bad at worst. And, that historically bad o-line of 2021 was the result of Grier having ten 1st and 2nd Rounds picks plus later picks in the 2020 and 2021 drafts, along with a ton of space under the salary cap.
For the 2022 season, Grier signed an injury-prone LT who always misses games, but he didn't bother to make sure that the roster had a competent replacement for when Armstead gets injured. For the 2023 season, they used Guard turned Center Williams at Center again which was okay, but Grier decided that he didn't need a "real" Center on the active roster at all, so when Williams got hurt, Eichenberg, who shouldn't even be on the team, had to play Center. Plus, Grier got extremely lucky that Jackson was decent at RT this past season, as before he either sucked or was hurt.
IOW, for those who think the offense just needs a better o-line, just who is going to build this better line? It's definitely not Grier!