If an avalon_reset goes according to plan, we can read off the actual miner_num from it.