Repository navigation

Benchmark packed verification prefixes with a fixed proposal count #438

Job	Run time
rdma	3m 30s
native (windows-2022, x86_64-pc-windows-msvc)	7m 10s
native (ubuntu-24.04, x86_64-unknown-linux-gnu)	21m 1s
	31m 41s