Kani

Merge branch 'main' into use-quantifiers #190

Job	Run time
Verify std library using autoharness (ubuntu-latest)	1h 12m 39s
Kani Metrics (macos-latest)	1h 15m 30s
Verify std library using autoharness (macos-latest)	1h 3m 57s
Kani Metrics (ubuntu-latest)	1h 3m 27s
Kani Autoharness Analyzer	46m 35s
Kani List	1h 4m 47s
Verify std library (partition 1)	42m 24s
Verify std library (partition 4)	56m 18s
Verify std library (partition 1)	37m 3s
Verify std library (partition 3)	31m 46s
Verify std library (partition 3)	30m 14s
Verify std library (partition 2)	36m 57s
Verify std library (partition 2)	33m 2s
Verify std library (partition 4)	52m 6s
Build JSON from logs (macos-latest)	16s
Build JSON from logs (ubuntu-latest)	15s
	11h 47m 16s

Provide feedback