Adjoint backtracking for the verification of the Comprehensive Test Ban Treaty