Primal-Dual Witness Theorem for Lasso Sign Consistency