Updated README with latest information about which benchmarks actually verify.