Theory-Inspired Path-Regularized Differential Network Architecture Search