Merge branch 'develop' into dependabot/cargo/develop/proptest-1.9.0

Author: Alex793x

.gitignore

@@ -18,6 +18,9 @@ target/
 # Contains mutation testing data
 **/mutants.out*/
 
+# Internal development docs (not for public repo)
+docs/phase2/
+
 # RustRover
 #  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
 #  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore