Add `cargo-kani` test #761

Job	Run time
benchcomp-tests	5m 36s
bookrunner	29m 7s
perf	40m 43s
regression (macos-11)	4m 14s
regression (ubuntu-20.04)	4m 21s
releasebundle-macos (macos-11)	8m 35s
regression (ubuntu-22.04)	4m 0s
releasebundle-ubuntu	34m 38s
write-json-symtab-regression	20m 32s
	2h 31m 46s

Provide feedback