reimplement fayalite::formal and add support to the simulator

crates/fayalite/tests/sim/expected/shift_register.txt

@@ -254,6 +254,7 @@ Simulation {
         },
         pc: 34,
         memory_write_log: [],
+        assert_failed_log: [],
         memories: StatePart {
             value: [],
         },
@@ -293,6 +294,7 @@ Simulation {
             ..
         },
     },
+    global_io: {},
     main_module: SimulationModuleState {
         base_targets: [
             Instance {
@@ -545,5 +547,6 @@ Simulation {
     }),
     waiting_sensitivity_sets_by_address: {},
     waiting_sensitivity_sets_by_compiled_value: {},
+    asserts: [],
     ..
 }