Specialized subscript guards should require non-negative compact ints

The specialized int subscript fast paths currently assume a non-negative compact int, but that precondition is not expressed directly in the guard.

Make the guard explicit for the affected cases:

• list[i]
• tuple[i]
• str[i]
• list[i] = value

This aligns the guard with the existing specialization contract and removes redundant checks from the specialized bodies, without changing the fallback path for negative indices.

Linked PRs

• gh-153487
• gh-153523

Bắt đầu bằng cách xác định các int subscript fast path chuyên biệt cho list[i], tuple[i], str[i] và list[i] = value. Kiểm tra cách các guard của chúng biểu đạt điều kiện tiên quyết compact-int và cách các chỉ số âm đi đến fallback path. Công việc được xem là hoàn tất khi các guard yêu cầu compact int không âm, các kiểm tra dư thừa trong specialized body được loại bỏ và hành vi đối với chỉ số âm không thay đổi.