"The 35-year goal of achieving a comprehensive test ban can best be attained, without compromising the integrity of the regime, by not defining precisely what constitutes a nuclear explosion."