Kani CI

fix formatting & regression failures #182

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
benchcomp-tests	7m 8s
documentation	2m 17s
perf	44m 13s
regression (macos-13)	57m 7s
regression (ubuntu-20.04)	33m 23s
regression (ubuntu-22.04)	34m 41s
regression (ubuntu-24.04)	31m 59s
regression (macos-14)	36m 4s
	4h 6m 52s