fix: Super ZK game QA fixes

[0xarktos]

Summary

QA review fixes for the Super ZK dispute game focusing on natpsec clarifications, a formatting consistency fix, and two new tests. No contract behavior changes.

• ZKDisputeGame natspec: describe it as a super-roots / interop-ready game, correct the ClaimData slot-packing comments, renumber the CWIA immutable-arg enumeration after l2ChainId was removed, and clarify the resolve() challenger-wins branch (prove deadline expired). Patch semver bump 2.0.0 → 2.0.1.
• LibGameArgs.decodeZK: use a consistent decimal offset in the assembly block.
• Tests:
  • Round-trip test asserting OPContractsManagerUtils.makeGameArgs output decodes back through LibGameArgs.decodeZK field-for-field.
  • LibClone length-overflow regression test: factory create with oversized extra data must revert for both ZK and super fault games — guards against the Solady CWIA clone-corruption bug if the library version changes. See H-1 in the past audit for details.

Test plan

DEV_FEATURE__ZK_DISPUTE_GAME=true forge test --match-contract "DisputeGameFactory_Create_ZkDisputeGame_Test|OPContractsManagerUtils_MakeGameArgs_Test"