Let $G$ be a semisimple algebraic group. (I'm already interested in the case $G=SL_2$.)

Let $\mathcal C$ be a semisimple rigid monoidal abelian category endowed with pair of exact tensor functors $Rep_G \to \mathcal C \to Vect$ that whose composition is the forgetful functor $Rep_g \to Vect$. Assume every object of $\mathcal C$ is a summand of an object in the image of this functor $Rep_G \to \mathcal C$.

To check that this functor $Rep_G \to \mathcal C$ is an equivalence, it is sufficient to check that it is full. (Faithfulness follows from the composition being the forgetful functor, and essential surjectivity follows from fullness and the summand condition.)

Is it sufficient to check the fullness condition on finitely many objects of $Rep_G$?

I know the answer is "yes" for $G=SL_n, Sp_{2n},$ or $SO_n$ if $\mathcal C$ is symmetric, at least under the mild assumption that both functors are symmetric tensor functors. Then $\mathcal C$ corresponds by the Tannakian correspondence to a subgroup $H$ of $G$. Then as long as the space of $H$-homomorphisms from the fourth tensor power of the standard representation of $G$ to itself has the correct dimension then $H$ is all of $G$. This is "Larsen's alternative", and you can see why this might be true by considering that as long as the group of $H$-homomorphisms from the adjoint representation of $G$ to itself is one-dimensional, the adjoint representation of $G$ is $H$-irreducible, so the Lie algebra of $H$ is either all the Lie algebra of $G$ or none of it. The second case can be eliminated by considering a slightly more complicated representation of $G$.

Is it still true without using the Tannakian correspondence?