Add assert_synced to root creation

Author: cjjdespres

src/lib/mina_ledger/root.ml

@@ -172,14 +172,14 @@ struct
     | Converting_db db ->
         Converting_ledger.merkle_root db
 
-  let create ~logger ~config ~depth () =
+  let create ~logger ~config ~depth ?(assert_synced = false) () =
     match config with
     | Config.Stable_db_config directory_name ->
         Stable_db (Stable_db.create ~directory_name ~depth ())
     | Converting_db_config config ->
         Converting_db
           (Converting_ledger.create ~config:(In_directories config) ~logger
-             ~depth () )
+             ~depth ~assert_synced () )
 
   let create_temporary ~logger ~backing_type ~depth () =
     match backing_type with
@@ -230,7 +230,8 @@ struct
       [empty_hardfork_db]. The accounts are set in the target database in chunks
       so the daemon is still responsive during this operation; the daemon would
       otherwise stop everything as it hashed every account in the list. *)
-  let chunked_migration ?(chunk_size = 1 lsl 6) stable_locations_and_accounts empty_migrated_db =
+  let chunked_migration ?(chunk_size = 1 lsl 6) stable_locations_and_accounts
+      empty_migrated_db =
     let open Async.Deferred.Let_syntax in
     let ledger_depth = Migrated_db.depth empty_migrated_db in
     let addrs_and_accounts =

src/lib/mina_ledger/root.mli

@@ -114,7 +114,13 @@ module Make
 
   (** Create a root ledger backed by a single database in the given
       directory. *)
-  val create : logger:Logger.t -> config:Config.t -> depth:int -> unit -> t
+  val create :
+       logger:Logger.t
+    -> config:Config.t
+    -> depth:int
+    -> ?assert_synced:bool
+    -> unit
+    -> t
 
   val create_temporary :
        logger:Logger.t
@@ -135,8 +141,7 @@ module Make
   (** Make a checkpoint of the root ledger [t] of the same backing type using
       [directory_name] as a template for its location. Return a new root ledger
       backed by that checkpoint. *)
-  val create_checkpoint_with_directory :
-    t -> directory_name:string -> t
+  val create_checkpoint_with_directory : t -> directory_name:string -> t
 
   (** Convert a root backed by a [Config.Stable_db] to *)
   val make_converting : t -> t Async.Deferred.t