Avoid refcounting on code objects during frame creation/destruction

The __code__ attribute of function objects is assignable.
As a consequence, frames must hold a strong reference to the code object in case the reference held by the function is lost.

Ideally, the __code__ attribute would be read-only, but to fix that would be a multi-year deprecation effort.

Until that happens, if ever, we can replace the strong reference with a borrowed reference to the code object as long as code object is guaranteed to outlive the frame.
Since the function will outlive the frame, if the function object keeps references to its prior __code__ attributes
when __code__ is assigned, then the code object will always outlive the frame.

This will need an extra field in each function, but the cost of one assignment to NULL during function creation, is much less than the cost of an incref and a decref on every call to that function.

The only downside is that in some obscure cases the lifetime of a few code objects will be extended.
Since the free-threading build makes all code objects immortal, this could actually be a big saving for the free-threading build.

Linked PRs

• gh-152955

Bắt đầu bằng cách xem xét PR được liên kết gh-152955, sau đó truy vết các đối tượng hàm, frame và đối tượng code liên quan đến thuộc tính code cũng như việc tạo và hủy frame. Công việc được xem là hoàn tất khi chứng minh được rằng các đối tượng code tồn tại lâu hơn các frame của chúng mà không cần thực hiện thao tác đếm tham chiếu cho mỗi lần gọi, đồng thời các bài kiểm thử CPython liên quan vẫn vượt qua.