Merge branch 'main' into li/rewrite-verifier

Author: lukeiannucci

.gitignore

@@ -3,10 +3,6 @@
 debug/
 target/
 
-# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
-# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
-Cargo.lock
-
 # Exclude sources generated by protoc.
 timeboost-proto/src/*.rs