Kani

Add harnesses for safety of primitive conversions #1245

Job	Run time
Kani List	12m 20s
Kani List	12m 20s
Verify std library (partition 1)	37m 18s
Verify std library (partition 1)	37m 18s
Verify std library (partition 2)	41m 43s
Verify std library (partition 2)	41m 43s
Verify std library (partition 3)	35m 47s
Verify std library (partition 3)	35m 47s
Verify std library (partition 4)	46m 57s
Verify std library (partition 4)	46m 57s
Verify std library (partition 1)	32m 46s
Verify std library (partition 1)	27m 29s
Verify std library (partition 2)	37m 29s
Verify std library (partition 2)	37m 29s
Verify std library (partition 3)	43m 39s
Verify std library (partition 3)	43m 39s
Verify std library (partition 4)	39m 56s
Verify std library (partition 4)	39m 56s
	10h 50m 33s

Provide feedback