Implement repatch/dispatch distinction in IonCache::reset