Iranian authorities have conducted many raids on crypto miners in abandoned factories, homes, and small businesses — nothing quite as high profile as the country’s largest stock exchange.