I think they would. He fetched #14 last year and had a promising rookie season. He'd replace Tim Hardaway Jr. What do you think they're going to get for #10?
If you surveyed people outside of the Jazz bubble, I don't think it's unanimous that he even had a promising rookie season. He had some moments tanking times, but he was also 22 so it was expected that he was "NBA ready".
He's not better than THJ and there's no guarantee he's replacing anyone in a real rotation. Late first fetch real, NBA rotation level caliber players which is what they would be looking for. For the 10th pick they would want so much more than Ochai.