CN: deactivate inlining of proxies for now

There are various issues with this, and it leads to a more problematic
error in the page table example anyway, so leave this disabled for now.

backend/cn/main.ml

@@ -61,7 +61,7 @@ let frontend incl_dirs incl_files astprints filename state_file =
   Cerb_global.set_cerb_conf "Cn" false Random false Basic false false false false false;
   Ocaml_implementation.set Ocaml_implementation.HafniumImpl.impl;
   Switches.set ["inner_arg_temps"; "at_magic_comments"; "warn_mismatched_magic_comments"];
-  Core_peval.config_unfold_stdlib := Sym.has_id_with Setup.unfold_stdlib_name;
+(*  Core_peval.config_unfold_stdlib := Sym.has_id_with Setup.unfold_stdlib_name; *)
   let@ stdlib = load_core_stdlib () in
   let@ impl = load_core_impl stdlib impl_name in
   let conf = Setup.conf incl_dirs incl_files astprints in