Kani

Bump VeriFast to 25.11; fixes failure #2352

Job	Run time
Kani Metrics (macos-latest)	1h 33m 40s
Verify std library using autoharness (macos-latest)	54m 49s
Kani Autoharness Analyzer	44m 34s
Kani List	57m 58s
Verify std library using autoharness (ubuntu-latest)	1h 13m 0s
Verify std library (partition 1)	56m 17s
Verify std library (partition 2)	34m 15s
Verify std library (partition 3)	25m 59s
Kani Metrics (ubuntu-latest)	59m 32s
Verify std library (partition 2)	32m 0s
Verify std library (partition 1)	36m 15s
Verify std library (partition 4)	1h 5m 13s
Verify std library (partition 3)	21m 36s
Verify std library (partition 4)	47m 58s
Build JSON from logs (ubuntu-latest)	10s
Build JSON from logs (macos-latest)	16s
	11h 43m 32s

Provide feedback