Somewhere in a Miami front office, a new general manager stared at a spreadsheet and made a decision most GMs spend entire careers avoiding. Tua Tagovailoa, the quarterback the Dolphins once handed $212.4 million, was officially released with a post-June 1 designation.