If the biggest miner went down, would it have a material effect on network security?