One avenue to clear space that understandably won't be popular would be trading Za'Darius Smith. Doing so would clear 11.5M in space, and should net great draft capital in return. At 28, the acquiring team would get him at basically 10 and 14M for two more seasons, which is a bargain at the level of his performance the last two years.
I am just not confident that he will ever be as good again as he was in Pettine's system when he was given so many interior rush snaps. If you look around the league, it is not at all typical for reducing interior rushers are as productive as Z is, and I think the reason is that most defenses won't give guys like him so many snaps inside.
I could be totally wrong about that. I don't know what Barry will do, and I'm not saying that trading him is a must by any stretch. If he stays, I'm sure he will be a positive for the defense. But I also tend to think he's peaked.
So if the Dolphins called up and offered pick #36, and the Packers could take that selection plus 11.5M in cap savings, and maybe add J.J. Watt... I think there are ways that they can shuffle the deck here without getting worse.