I do not see much news on Crochet's recovery or lack thereof. Last update on RedSox.com is June 22.
While he is still considered a TOTR starter, how about the fact that he is missing over 50% of the season with no sign of return.
Recommendation: Do Not Trade Starting Pitching to solve the hitting issue. The Sox ( Breslow) are extremely lucky that Early, , Bennett, and Tolle have been big contributors along with Gray and Suarez. Now Early and Suarez are ???? at the moment. Can Sandoval go more than 3 innings for a awhile?
If there was reason to think Crochet was on track to return by the TD ( 8/3) go ahead and shop Gray but stop there. If any GM wants the rehabbing Houck or Crawford , you are welcome to them.