Necessary KKT Conditions for Exact Lasso Sign Recovery