fix: remove redundant address list in get_execution_hint

[prestoalvarez]

The get_execution_hint method created a snapshot list_addresses from the access list before mutating it, then used contains() checks against this stale snapshot. This could allow duplicate addresses to be added when addresses overlap (e.g., from == to, or when from/to are unset and default to the same address).

Removed the intermediate list_addresses vector and replaced contains() checks with direct iter().any() checks against the current list state before each push().