Add verifier binary #6331

Job	Run time
rust-checks-x86_64	1s
rust-checks-arm64	1s
pre-commit-arm64	1s
pre-commit-x86_64	2s
rust-test-arm64	1s
rust-wasm-build-arm64	1s
rust-doc	1s
rust-test-all-features-x86_64	1s
rust-test-x86_64	1s
rust-test-all-features-arm64	1s
circuits-snapshot (sha512)	1s
rust-wasm-build-x86_64	1s
circuits-snapshot (ethsign)	1s
circuits-snapshot (zklogin)	1s
circuits-snapshot (keccak)	1s
circuits-snapshot (sha256)	1s
circuits-snapshot (hash_based_sig)	2s
	19s

Provide feedback