Bad IR is generated because checker doesn't catch unreachables

[vdka]

main :: fn() -> void {
    switch 5 {
    case 1: break
        a := 1
    }
}