Kani

additional transmute and transmute_unchecked harnesses #1387

Job	Run time
Kani List	32m 56s
Verify std library (partition 1)	56m 36s
Verify std library (partition 2)	1h 26m 12s
Verify std library (partition 3)	1h 39m 12s
Verify std library (partition 4)	2h 31m 17s
Verify std library (partition 1)	52m 59s
Verify std library (partition 2)	1h 16m 29s
Verify std library (partition 3)	1h 28m 2s
Verify std library (partition 4)	1h 35m 15s
	12h 18m 58s

Provide feedback