Perhaps you just updated WordPress to 4.1 or 4.2?
For some time, the headers interface has been really moved to the Customize section, although the Header option remains under Appearance.
Randomize uploaded headers means that one of those will be randomly selected to display on pages as they are displayed.