I think it already has worked out that way. Still though, people rightfully recognize that pass rush is critically important in today's NFL. Sweat did great for us but he was never known as an elite pass rusher. Outside of him, unless Dexter makes a big jump in year 2, we've got no one who could even be considered as an average pass rusher on the NFL level. I don't care who your coach is, defenses are going to struggle to make up for that on a routine basis.
To me, DE at #9 is by far the best allocation of resources. Your drafted DE's rookie contract lines up exactly with Sweat's extension so (hopefully) you've got a guy who can anchor your pass rush for the next 8 years, 4 of which is spent alongside another high-end player in Sweat. That's sexy.