Kani CI

Bump Kani version to 0.59.0 #184

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
benchcomp-tests	6m 2s
documentation	2m 20s
perf	45m 29s
regression (macos-13)	1h 0m 42s
regression (ubuntu-20.04)	33m 12s
regression (ubuntu-22.04)	33m 15s
regression (ubuntu-24.04)	32m 35s
regression (macos-14)	32m 43s
	4h 6m 18s