RegimeNAS: Regime-Aware Differentiable Architecture Search With Theoretical Guarantees for Financial Trading