Orbits, half-frozen tokens and the liveness of weighted circuits