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

まず、list[i]、tuple[i]、str[i]、および list[i] = value 用の特殊化された int subscript fast path を見つけます。各 guard が compact-int の前提条件をどのように表現しているか、また負のインデックスがどのように fallback path に到達するかを確認します。guard が非負の compact int を要求し、specialized body 内の冗長なチェックが削除され、負のインデックスの動作が変わらなければ完了です。