“Iran has spent an estimated half a trillion dollars on its nuclear program, accounting for both direct costs and the economic impact of sanctions.”