Overhaul test framework for Laurel (#1223)

Author: leo-leesco

StrataPython/CorePrelude.lean

@@ -7,7 +7,7 @@ module
 
 public import Strata.Languages.Core.Program
 import Strata.Languages.Core.Verifier
-import StrataDDM.Integration.Lean.HashCommands -- shake: keep
+public import StrataDDM.Integration.Lean.HashCommands -- shake: keep
 
 open Strata
 

StrataPythonTest/CorePreludeTest.lean

@@ -18,7 +18,7 @@ Test that the Python CorePrelude can be serialized to Ion format and
 deserialized back without loss of information.
 -/
 private def testCorePreludeRoundTrip : Bool :=
-  let prelude := corePrelude
+  let prelude : Program := corePrelude
   let bytes := prelude.toIon
   match Program.fromIon Strata.Core_map Strata.Core.name bytes with
   | .ok pgm => pgm.commands.size == prelude.commands.size