Fix Typos in Documentation (#3944)

* typos README.md

* typos README.md

README.md

@@ -97,7 +97,7 @@ RUST_LOG=$ERROR_LOG_LEVEL RUST_LOG_FORMAT=$ERROR_LOG_FORMAT just run_test test_s
 
 ## Careful
 
-To double check for UB:
+To double-check for UB:
 
 ```bash
 nix develop .#correctnessShell

crates/examples/push-cdn/README.md

@@ -51,7 +51,7 @@ sleep 1m
 just example_fixed_leader multi-validator-push-cdn -- 9 http://127.0.0.1:4444
 ```
 
-Where ones using `example_gpuvid_leader` could be the leader and should be running on a nvidia GPU, and other validators using `example_fixed_leader` will never be a leader. In practice, these url should be changed to the corresponding ip and port.
+Where ones using `example_gpuvid_leader` could be the leader and should be running on an nvidia GPU, and other validators using `example_fixed_leader` will never be a leader. In practice, these url should be changed to the corresponding ip and port.
 
 
 If you don't have a gpu but want to test out fixed leader, you can run:
@@ -65,4 +65,4 @@ sleep 1m
 just example_fixed_leader multi-validator-push-cdn -- 9 http://127.0.0.1:4444
 ```
 
-Remember, you have to run leaders first, then other validators, so that leaders will have lower index.
+Remember, you have to run leaders first, then other validators, so that leaders will have lower index.