Add test that prevents increasing import cycles in the mypy implementation

It's easy to accidentally introduce new modules in import cycles, which can make the structure of the codebase worse and slow down incremental builds. Add a test that checks that this does not happen.

See #7397 for context. Here is one idea from that PR:

We could perhaps run another incremental build after self check in verbose mode and assert that the largest import cycle is below some size limit by parsing the verbose output. Alternatively, we could modify verbose mode to write more details about SCCs in incremental mode and make more specific assertions, such as requiring that the nodes, typeops and checker cycles are disjoint.

Bắt đầu bằng cách đọc ngữ cảnh trong #7397 và lần theo các điểm đầu vào của quá trình build tăng dần, self check và chế độ verbose. Xác định assertion được đề xuất nào là khả thi, sau đó thêm một regression test để phát hiện kích thước import cycle tăng lên hoặc xác minh các ràng buộc SCC liên quan; được xem là hoàn thành khi test thất bại lúc các cycle trở nên tệ hơn và vượt qua với implementation hiện tại.