Kani

Add and update rewards to open challenges lacking one #2290

Job	Run time
Verify std library using autoharness (macos-latest)	1h 17m 7s
Verify std library using autoharness (ubuntu-latest)	1h 10m 43s
Kani List	1h 6m 51s
Kani Autoharness Analyzer	41m 52s
Verify std library (partition 1)	41m 23s
Verify std library (partition 4)	53m 53s
Verify std library (partition 2)	34m 54s
Verify std library (partition 1)	37m 35s
Verify std library (partition 2)	25m 8s
Verify std library (partition 3)	29m 3s
Verify std library (partition 4)	55m 49s
Verify std library (partition 3)	31m 54s
Kani Metrics (ubuntu-latest)	1h 11m 30s
Kani Metrics (macos-latest)	1h 10m 1s
Build JSON from logs (ubuntu-latest)	8s
Build JSON from logs (macos-latest)	11s
	11h 48m 2s

Provide feedback