This is much more complicated than I thought. The threadstate dict holds a strong reference to each local dict, and therefore the GC will refuse to collect the local dict when there's a cycle.
(when there's no cycle, the local dict is cleared manually by the local object's tp_dealloc)