update core-map and core-set for changes to rand::seeded_rng