Migrate C# ModuleDef output to V9

crates/bindings-csharp/BSATN.Codegen/Type.cs

@@ -225,10 +225,13 @@ public void Write(System.IO.BinaryWriter writer, {{ShortName}} value) {
                     {{write}}
                 }
 
-                public SpacetimeDB.BSATN.AlgebraicType GetAlgebraicType(SpacetimeDB.BSATN.ITypeRegistrar registrar) =>
+                public SpacetimeDB.BSATN.AlgebraicType.Ref GetAlgebraicType(SpacetimeDB.BSATN.ITypeRegistrar registrar) =>
                     registrar.RegisterType<{{ShortName}}>(_ => new SpacetimeDB.BSATN.AlgebraicType.{{Kind}}(new SpacetimeDB.BSATN.AggregateElement[] {
                         {{MemberDeclaration.GenerateDefs(Members)}}
                     }));
+
+                SpacetimeDB.BSATN.AlgebraicType SpacetimeDB.BSATN.IReadWrite<{{ShortName}}>.GetAlgebraicType(SpacetimeDB.BSATN.ITypeRegistrar registrar) =>
+                    GetAlgebraicType(registrar);
             }
             """
         );

crates/bindings-csharp/Codegen.Tests/TestInit.cs

@@ -37,5 +37,10 @@ public static void Initialize()
             },
             ScrubberLocation.Last
         );
+        // Auto-accept all snapshot updates when AUTO_VERIFY is set.
+        if (Environment.GetEnvironmentVariable("AUTO_VERIFY") == "1")
+        {
+            VerifierSettings.AutoVerify();
+        }
     }
 }

crates/bindings-csharp/Codegen.Tests/Tests.cs

@@ -97,9 +97,9 @@ static void AssertCompilationSuccessful(Compilation compilation)
             emitResult.Success,
             string.Join(
                 "\n",
-                emitResult.Diagnostics.Select(diag =>
-                    CSharpDiagnosticFormatter.Instance.Format(diag)
-                )
+                emitResult
+                    .Diagnostics.Where(diag => diag.Severity != DiagnosticSeverity.Hidden)
+                    .Select(diag => CSharpDiagnosticFormatter.Instance.Format(diag))
             )
         );
     }

crates/bindings-csharp/Codegen.Tests/fixtures/server/Lib.cs

@@ -104,7 +104,7 @@ namespace NestingNamespaces
     {
         public static partial class AndClasses
         {
-            [SpacetimeDB.Reducer("test_custom_name_and_reducer_ctx")]
+            [SpacetimeDB.Reducer]
             public static void InsertData2(ReducerContext ctx, PublicTable data)
             {
                 data.Insert();