Kani

Merge subtree update for toolchain nightly-2025-04-24 #1667

Job	Run time
Kani List	23m 41s
Verify std library (partition 4)	1h 57m 8s
Verify std library (partition 2)	55m 5s
Verify std library (partition 2)	1h 15m 4s
Verify std library (partition 3)	1h 15m 7s
Verify std library (partition 1)	50m 12s
Verify std library (partition 4)	1h 24m 23s
Verify std library (partition 1)	40m 15s
Verify std library (partition 3)	1h 15m 2s
	9h 55m 57s

Provide feedback