Kani

Merge subtree update for toolchain nightly-2025-04-06 (#320) #1604

Job	Run time
Kani List	25m 15s
Verify std library (partition 2)	1h 23m 13s
Verify std library (partition 4)	1h 45m 26s
Verify std library (partition 3)	1h 14m 30s
Verify std library (partition 4)	1h 20m 15s
Verify std library (partition 1)	50m 33s
Verify std library (partition 1)	41m 21s
Verify std library (partition 2)	1h 0m 47s
Verify std library (partition 3)	1h 17m 28s
	9h 58m 48s

Provide feedback