Fix ConcurrentModificationExceptions in the LibigotScheduler.