Fix ThinCheckerState::new and CheckerContext::new function signatures

- Add missing 5th argument (strict: bool = false) to all test calls
- Fix calls in thin_checker_tests.rs, declarations.rs, expr.rs, statements.rs

Note: 199 remaining errors are pre-existing structural changes to the
type system (missing fields in CallableShape/FunctionShape, removed
methods, etc.) that require more extensive fixes.

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: mohsen1

wasm/src/checker/declarations.rs

@@ -259,7 +259,7 @@ mod tests {
 
         let types = TypeInterner::new();
         let mut ctx =
-            CheckerContext::new(parser.get_arena(), &binder, &types, "test.ts".to_string());
+            CheckerContext::new(parser.get_arena(), &binder, &types, "test.ts".to_string(), false);
 
         // Get the variable statement
         if let Some(root_node) = parser.get_arena().get(root) {

wasm/src/checker/expr.rs

@@ -102,7 +102,7 @@ mod tests {
 
         let types = TypeInterner::new();
         let mut ctx =
-            CheckerContext::new(parser.get_arena(), &binder, &types, "test.ts".to_string());
+            CheckerContext::new(parser.get_arena(), &binder, &types, "test.ts".to_string(), false);
 
         // Get the expression statement and its expression
         if let Some(root_node) = parser.get_arena().get(root) {

wasm/src/checker/statements.rs

@@ -172,7 +172,7 @@ mod tests {
 
         let types = TypeInterner::new();
         let mut ctx =
-            CheckerContext::new(parser.get_arena(), &binder, &types, "test.ts".to_string());
+            CheckerContext::new(parser.get_arena(), &binder, &types, "test.ts".to_string(), false);
 
         // Get the block statement
         if let Some(root_node) = parser.get_arena().get(root) {