[mcs] Mark switch statement block scope statements as reachable. Fixes #18092