Kani

Merge subtree update for toolchain nightly-2025-04-24 (#342) #1670

Job	Run time
Kani List	24m 41s
Verify std library (partition 1)	50m 7s
Verify std library (partition 4)	1h 57m 10s
Verify std library (partition 1)	39m 6s
Verify std library (partition 3)	1h 13m 33s
Verify std library (partition 4)	1h 32m 22s
Verify std library (partition 2)	1h 12m 56s
Verify std library (partition 2)	58m 35s
Verify std library (partition 3)	1h 10m 34s
	9h 59m 4s

Provide feedback