New details from a trove of Iranian nuclear documents stolen by Israeli spies early this year show that Tehran obtained explicit weapons-design information from a foreign source and was on the cusp of mastering key bombmaking technologies when the research was ordered halted 15 years ago. Iran's...