Thanks for putting in the effort to find this.

I think the first step to fixing this is to formalize the semantics of `tp_version_tag`. Initially it was designed just for the method cache, but we have started using it as a unique identifier for the state of a class.
The two different uses have different requirements when the global version counter overflows. Possibly in other scenarios as well.