From necklace quivers to the F -theorem, operator counting, and T (U(N))