verify-rs/.gitignore