chore: Remove redundant post-loop invalidation in DataFlowAnalyzer::operator()(Switch&#16186

sashass1315 wants to merge 1 commit intoargotorg:developargotorg/solidity:developfrom

sashass1315:feat/yul-dfa-switch-invalidation-cleanupsashass1315/solidity:feat/yul-dfa-switch-invalidation-cleanupCopy head branch name to clipboard