HVM.log now outputs unormalized terms

For normalization, the user can use their own sequencers. Ex:

(String.seq (String.cons x xs) cont) = (U60.seq x λx(String.seq xs λxs(cont (String.cons x xs))))
(String.seq String.nil         cont) = (cont String.nil)

(U60.seq 0 cont) = (cont 0)
(U60.seq n cont) = (cont n)

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "hvm1"
-version = "1.0.14"
+version = "1.0.15"
 edition = "2021"
 description = "A massively parallel functional runtime."
 repository = "https://github.com/HigherOrderCO/HVM1"

src/runtime/base/precomp.rs

@@ -356,7 +356,7 @@ fn hvm_log_visit(ctx: ReduceCtx) -> bool {
 }
 
 fn hvm_log_apply(ctx: ReduceCtx) -> bool {
-  normalize(ctx.heap, ctx.prog, &[ctx.tid], get_loc(ctx.term, 0), false);
+  //normalize(ctx.heap, ctx.prog, &[ctx.tid], get_loc(ctx.term, 0), false);
   let code = crate::language::readback::as_code(ctx.heap, ctx.prog, get_loc(ctx.term, 0));
   println!("{}", code);
   link(ctx.heap, *ctx.host, load_arg(ctx.heap, ctx.term, 1));