You are making some fair points but I just don't see a whole lot out there that would have improved the team.
Just looking at the bats that were traded Suarez definitely would have helped. Correa wanted to play 3rd and had a no trade clause. O'Hearn has been a sub 700 OPS player since the beginning of June. McMahon has a sub 600 OPS away from Coors Field this year, Josh Naylor would probably have helped but I don't know if he fit positionally. Then you're into Bader, Hayes, Mullins territory and none of them would have helped. The one guy who seemed like a fit was Willie Castro. He would have been a slight upgrade as a backup utility guy but not much of one. Same with Ramon Urias. Neither of those guys is probably gonna move the needle much if anything.