When you “customize” the look of the theme when you first upload it, there is an option to upload the header image (a 100×100 image). There is an option there to upload a second image and then randomize between them.

I’ve looked through my plugins but didn’t find any that did that.

Here’s a screenshot: http://tinypic.com/r/2bbexh/8