Kani

address comments from review #56

Job	Run time
Verify std library (partition 1)	1h 4m 28s
Verify std library (partition 2)	1h 31m 14s
Verify std library (partition 3)	1h 35m 12s
Verify std library (partition 4)	1h 46m 7s
Kani List	31m 26s
Verify std library (partition 1)	58m 39s
Verify std library (partition 2)	1h 15m 19s
Verify std library (partition 3)	1h 28m 2s
Verify std library (partition 4)	1h 44m 27s
	11h 54m 54s

Provide feedback