Tor anonymity network to shrink as a result of Heartbleed flaw