Avoid Async.RunSynchronously

Author: AlexeyRaga

src/Hedgehog.Stateful/Sequential.fs

@@ -390,7 +390,4 @@ module Sequential =
                 return (combinedJournal, Failure)
         }
 
-        // Create property from async computation that returns (Journal, Outcome)
-        // The lazy ensures execution only happens when forced (during followPath in recheck)
-        Gen.constant (lazy (Async.RunSynchronously executionAsync))
-        |> Property.ofGen
+        Property.ofAsyncWithJournal executionAsync

src/Hedgehog/Property.fs

@@ -118,7 +118,12 @@ module Property =
     /// The property succeeds when the async computation completes successfully, and fails if it throws an exception.
     /// This enables testing of asynchronous F# code.
     let ofAsync (asyncComputation : Async<'T>) : Property<'T> =
-        Gen.constant (lazy (PropertyResult.ofAsyncWith asyncComputation))
+        Gen.constant (lazy (PropertyResult.ofAsync asyncComputation))
+        |> Property
+
+    /// Create Property from an async computation that produces a journal and outcome
+    let ofAsyncWithJournal (asyncComputation : Async<Journal * Outcome<'T>>) : Property<'T> =
+        Gen.constant (lazy (PropertyResult.ofAsyncWithJournal asyncComputation))
         |> Property
 
     /// Discards test cases where the predicate returns false, causing Hedgehog to generate a new test case.

src/Hedgehog/PropertyResult.fs

@@ -14,11 +14,11 @@ module internal PropertyResult =
         PropertyResult.Sync (journal, outcome)
 
     /// Create an async PropertyResult from an async computation that produces a journal and outcome
-    let ofAsync (asyncResult : Async<Journal * Outcome<'a>>) : PropertyResult<'a> =
+    let ofAsyncWithJournal (asyncResult : Async<Journal * Outcome<'a>>) : PropertyResult<'a> =
         PropertyResult.Async asyncResult
 
     /// Create an async PropertyResult by capturing exceptions from an async computation
-    let ofAsyncWith (asyncComputation : Async<'a>) : PropertyResult<'a> =
+    let ofAsync (asyncComputation : Async<'a>) : PropertyResult<'a> =
         PropertyResult.Async (async {
             try
                 let! result = asyncComputation