random: remove unused randomize_range()