fix(contracts): scope executor event guard by key

[fredo]

Addresses ENG-4229.

Scopes transaction-local executor event suppression by (adopter, assertionId) or (adopter, storageKey), allowing independent mutations while rejecting repeated mutations of the same key.

[linear-code]

ENG-4229

[fredo]

Known inherited CI blocker: the shared workflow builds StateOracleV2 with the default unoptimized profile and fails EIP-170 size enforcement. The dedicated optimized V2 profile passes; CI/profile integration is tracked in ENG-4250. No fix is included here so the reviewed implementation remains unchanged.

[makemake-kbo]

IDAVerifier.verifyDA is declared view, so this production call is a STATICCALL. The -vvvv trace shows the nested addAssertion reverting with StateChangeDuringStaticCall; it never reaches the stale-usage condition, and this test would also pass with the pre-fix accounting order. If non-view verifier reentrancy is an intended threat, the production interface/call path must permit CALL and the test should assert the limit rejection after a successful inner mutation. Otherwise this test only verifies the existing static-call restriction and should not claim to cover reentrant oversubscription.