[kernel] vm: Fix a few issues in the kernel flow graph builder, update status file for checked-mode

tests/language/language_kernel.status

Index: tests/language/language_kernel.status
diff --git a/tests/language/language_kernel.status b/tests/language/language_kernel.status
index 8f48ab8be89ce3b886483f69bfd978132a184972..5471b78852024de65bd9d4cd8134cd29b49d2ae2 100644
--- a/tests/language/language_kernel.status
+++ b/tests/language/language_kernel.status
@@ -61,7 +61,6 @@ const_switch2_test/01: MissingCompileTimeError
 const_syntax_test/01: MissingCompileTimeError
 const_syntax_test/02: MissingCompileTimeError
 const_syntax_test/05: MissingCompileTimeError
-const_syntax_test/10: Crash
 const_types_test/06: CompileTimeError
 const_types_test/13: CompileTimeError
 const_types_test/23: MissingCompileTimeError
@@ -471,7 +470,6 @@ const_syntax_test/09: MissingCompileTimeError
 constructor_named_arguments_test/01: Crash  # Dartk Issue 28301
 ct_const2_test: Pass, Crash # Flaky
 disassemble_test: Pass, Crash  # Multitest via multiple VMOptions! Hits assert "kind() != RawScript::kKernelTag". Issue 28790
-final_syntax_test/09: Crash
 getter_declaration_negative_test: Fail
 hello_dart_test: Crash
 instance_creation_in_function_annotation_test: RuntimeError
@@ -532,3 +530,73 @@ final_syntax_test/09: Crash
 not_enough_positional_arguments_test/05: Crash  # Dartk Issue 28301
 regress_22445_test: Crash
 regress_23498_test: Crash
+
+# dartk: checked mode failures
+[ $checked && ($compiler == dartk || $compiler == dartkp) ]
+assign_static_type_test/02: MissingCompileTimeError
+async_await_test: RuntimeError
+async_return_types_test/nestedFuture: Fail
+async_return_types_test/wrongTypeParameter: Fail
+body_less_constructor_wrong_arg_negative_test: Pass
+compile_time_constant_checked_test/02: MissingCompileTimeError
+const_conditional_test/08: Pass
+const_constructor2_test/20: MissingCompileTimeError
+const_constructor2_test/22: MissingCompileTimeError
+const_constructor2_test/24: MissingCompileTimeError
+const_init2_test/02: MissingCompileTimeError
+default_factory2_test/01: Fail
+deferred_constraints_type_annotation_test/type_annotation1: Pass
+deferred_constraints_type_annotation_test/type_annotation_generic1: Pass
+deferred_constraints_type_annotation_test/type_annotation_generic4: Pass
+factory1_test/00: Fail
+factory1_test/01: Fail
+factory_implementation_test/00: Fail
+factory_redirection_test/08: Fail
+factory_redirection_test/09: Fail
+factory_redirection_test/10: Fail
+factory_redirection_test/11: Fail
+factory_redirection_test/12: Fail
+factory_redirection_test/13: Fail
+factory_redirection_test/14: Fail
+factory_return_type_checked_test: RuntimeError
+function_subtype_checked0_test: RuntimeError
+function_subtype_inline2_test: RuntimeError # Issue 29225
+function_type2_test: RuntimeError
+generic_constructor_mixin3_test: RuntimeError
+generic_field_mixin6_test/01: RuntimeError
+inst_field_initializer1_negative_test: Pass
+is_malformed_type_test/94: Pass
+is_malformed_type_test/96: Pass
+is_malformed_type_test/98: Pass
+list_literal1_test/01: MissingCompileTimeError
+malbounded_redirecting_factory2_test/03: Fail
+malbounded_redirecting_factory2_test/04: Fail
+malbounded_redirecting_factory_test/03: Fail
+malbounded_redirecting_factory_test/04: Fail
+malbounded_type_cast_test: RuntimeError
+malbounded_type_test_test/03: Fail
+malbounded_type_test_test/04: Fail
+malformed2_test/01: MissingCompileTimeError
+map_literal1_test/01: MissingCompileTimeError
+mixin_invalid_bound2_test/08: Fail
+mixin_invalid_bound2_test/09: Fail
+mixin_invalid_bound2_test/10: Fail
+mixin_invalid_bound_test/06: Fail
+mixin_invalid_bound_test/07: Fail
+mixin_super_bound2_test/01: RuntimeError
+mixin_super_bound_test: RuntimeError
+msk_bound_test: RuntimeError
+multiline_newline_test/01: CompileTimeError
+multiline_newline_test/02: CompileTimeError
+multiline_newline_test/03: CompileTimeError
+redirecting_factory_infinite_steps_test/01: Fail
+redirecting_factory_malbounded_test/01: Fail
+regress_22728_test: RuntimeError
+regress_26133_test: RuntimeError
+type_parameter_test/01: Fail
+type_parameter_test/02: Fail
+type_parameter_test/03: Fail
+type_parameter_test/04: Fail
+type_parameter_test/05: MissingCompileTimeError
+type_parameter_test/06: Fail
+type_variable_bounds4_test/01: RuntimeError