Kani

Parallelize & Partition Verification #1158

Job	Run time
Kani List	10m 52s
Verify std library (partition 1)	58m 57s
Verify std library (partition 2)	30m 28s
Verify std library (partition 3)	26m 47s
Verify std library (partition 4)	38m 33s
Verify std library (partition 1)	43m 23s
Verify std library (partition 2)	23m 20s
Verify std library (partition 3)	25m 32s
Verify std library (partition 4)	29m 39s
	4h 47m 31s

Provide feedback