Imply verified_final field via cycle_heads state

[Veykril]

No description provided.

[netlify]

✅ Deploy Preview for salsa-rs canceled.

Name	Link
🔨 Latest commit	35e0166
🔍 Latest deploy log	https://app.netlify.com/sites/salsa-rs/deploys/67d6b04ff710a90008071f31

[codspeed-hq]

CodSpeed Performance Report

Merging #762 will degrade performances by 6.73%

_{Comparing Veykril:veykril/push-slrpxwwktqsn (35e0166) with master (c76b9e5)}

Summary

⚡ 1 improvements
❌ 4 regressions
✅ 7 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
⚡	accumulator	3.4 ms	3.3 ms	+3.02%
❌	amortized[Input]	3.5 µs	3.6 µs	-4.22%
❌	amortized[InternedInput]	3.3 µs	3.6 µs	-6.73%
❌	amortized[SupertypeInput]	4.2 µs	4.4 µs	-5.03%
❌	new[InternedInput]	5.2 µs	5.5 µs	-4.95%