Before you ever get to that point, you bring over Tomic, trade up in the draft and then see what teams will want for these guys. The only way Utah gets one of them is to give up assets. I'd gladly pay for Leonard or Butler, but I doubt either guy gets moved.
Way more likely to nab a RFA next year at the deadline - just like what we saw this year. Just because teams have the means to extend or match their guys doesn't mean that they have the desire to do so. Even trading away next year's pick to move up, the Jazz should still have plenty of assets to make a move at the deadline if they want to.
After all, OKC got Kanter for a heavily protected future 1st, a foreign prospect, a D-league guy and a 2nd round pick. There's bound to be somebody's headache out there that the Jazz can steal.