Bump Kani version to 0.44.0 #6022

Job	Run time
benchcomp-tests	4m 31s
benchcomp-tests	3m 51s
benchcomp-tests	4m 37s
benchcomp-tests	3m 26s
benchcomp-tests	3m 37s
benchcomp-tests	3m 37s
bookrunner	15m 15s
bookrunner	11m 16s
bookrunner	16m 6s
bookrunner	15m 51s
bookrunner	16m 25s
bookrunner	16m 25s
perf	28m 36s
perf	11m 12s
perf	28m 3s
perf	24m 25s
perf	28m 32s
perf	28m 32s
regression (macos-12)	6m 35s
regression (macos-12)	4m 48s
regression (macos-12)	6m 9s
regression (macos-12)	9m 57s
regression (macos-12)	25m 49s
regression (macos-12)	37m 45s
regression (ubuntu-20.04)	6m 54s
regression (ubuntu-20.04)	5m 8s
regression (ubuntu-20.04)	6m 33s
regression (ubuntu-20.04)	10m 19s
regression (ubuntu-20.04)	20m 16s
regression (ubuntu-20.04)	20m 16s
write-json-symtab-regression	10m 36s
write-json-symtab-regression	11m 15s
write-json-symtab-regression	10m 58s
write-json-symtab-regression	11m 59s
write-json-symtab-regression	12m 43s
write-json-symtab-regression	12m 43s
regression (ubuntu-22.04)	6m 55s
regression (ubuntu-22.04)	5m 5s
regression (ubuntu-22.04)	6m 34s
regression (ubuntu-22.04)	10m 20s
regression (ubuntu-22.04)	22m 44s
regression (ubuntu-22.04)	22m 44s
	9h 29m 22s

Provide feedback