It’s been rumored for some time that the Stuxnet virus, which attacked Iran’s nuclear facilities in 2010 before escaping and wreaking havoc on the public Web, was a joint effort between the U.S. and Israel. But, aside from security firm …