Weak Convergence of Marked Empirical Processes for Focused Inference on AR(p) vs AR(p + 1) Stationary Time Series