The Comprehensive Test Ban Treaty: Effectively Verifiable