Civility Aside, Cruz Took a Pretty Solid (and Subtle) Swipe at Trump in His Closing Remarks