Ruzhentsev leaves Gators basketball team for pro contract