Theoretical Guarantees for the Subspace-Constrained Tyler's Estimator