proptest-stateful: Bump package version to 0.1.3

This new version pulls in all the recent README changes and adds the new
counter test.

Change-Id: I93c562918a965e1cc295f2d0e107f6034238efdd
Reviewed-on: https://gerrit.readyset.name/c/readyset/+/5282
Tested-by: Buildkite CI
Reviewed-by: Aspen Smith <[email protected]>

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "proptest-stateful"
-version = "0.1.2"
+version = "0.1.3"
 license = "Apache-2.0"
 description = "Library for building stateful property tests using the proptest crate"
 homepage = "https://github.com/readysettech/proptest-stateful/"
@@ -17,3 +17,4 @@ async-trait = "0.1"
 proptest = "1.0.0"
 rand = "0.8.5"
 tokio = { version = "1.28", features = ["full"] }
+