Testcase for PR340: Verifier misses malformed switch instruction