Kani

Add loop invariants and harnesses for DecimalSeq functions #2051

Job	Run time
Kani Metrics (macos-latest)	3m 34s
Verify std library using autoharness (ubuntu-latest)	5m 12s
Kani List	5m 26s
Verify std library using autoharness (macos-latest)	3m 59s
Kani Metrics (ubuntu-latest)	3m 52s
Verify std library (partition 3)	4m 58s
Verify std library (partition 2)	5m 44s
Verify std library (partition 1)	5m 4s
Verify std library (partition 4)	5m 2s
Verify std library (partition 1)	4m 32s
Verify std library (partition 2)	3m 31s
Verify std library (partition 4)	3m 39s
Kani Autoharness Analyzer	4m 10s
Verify std library (partition 3)	4m 2s
Build JSON from logs	0s
	1h 2m 45s

Provide feedback