The 2024 trade for Za'Darius Smith is finally in the books. What did the Lions actually get out of the move?