I think Chip's previous comments sum up my view 100%. Have a consistent approach for plugins and themes, with deletion of theme options when the theme is deleted. Personally, I can't think of a down side to this approach. Anyone aware of a relevant trac ticket? (A quick search didn't find anything.)