Cutting him was probably more beneficial. Only save $3.9M by trading him. Don’t get that whole $17M (albeit after June 1st)
It actually would be more beneficial if they trade him because they can split the cap hit and get relief now.
In fact, expect a trade, even if only for a 7th or a swap of picks in the round.