Revert "Chore: Ordering of modules now deterministic in compiled code (…

…dafny-lang#5684)"

This reverts commit 299e2c8 as a
temporary workaround for the issue described in
dafny-lang#5788

Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs

@@ -3234,12 +3234,6 @@ protected override void EmitSingleValueGenerator(Expression e, bool inLetExprBod
       }
     }
 
-    protected override void OrganizeModules(Program program, out List<ModuleDefinition> modules) {
-      modules = program.CompileModules.ToList();
-      modules.Sort((a, b) =>
-        String.Compare(a.FullDafnyName, b.FullDafnyName, StringComparison.Ordinal));
-    }
-
     protected override void EmitHaltRecoveryStmt(Statement body, string haltMessageVarName, Statement recoveryBody, ConcreteSyntaxTree wr) {
       TrStmt(body, wr);
     }