Make succ_iterator a real random access iterator and clean up a couple of users.