Smart is a keeper. Crowder is a keepr. Thomas is a bench spark plug so I hope he's ok with that. Everyone else should be available.
I'd add Tyler Zeller and Brandon Bass to that list, but they can't be our starters moving forward.
Zeller would destroy 2nd unit bugs with his activity on the court. Bass is an all out pro who can also give us a spark off the bench and would give consistent effort grabbing the boards. While it's not necessary. I'd love to keep those two along with the three names you mentioned.
But they can't be our starters. For us to move forward, those two have to be coming off the bench.