Remove unused reservoir sampling code

Unused per #1241. Looks to have been unused since forever, and can always be undeleted from git if needed in the future.