More ergonomics #191

Job	Run time
Z3 SMT Verification	36s
Kani Tier 1 (Fast)	3m 23s
Kani Tier 3 (1/5)	1m 52s
Loom Concurrency Tests (ubuntu-latest)	26s
Kani Tier 3 (3/5)	3m 27s
Loom Concurrency Tests (windows-latest)	58s
Kani Tier 3 (4/5)	2m 53s
Kani Proof Coverage	6s
TLA+ Model Checking	2m 30s
Loom Concurrency Tests (macos-latest)	21s
Kani Tier 3 (2/5)	4m 55s
Kani Tier 2 (4/6)	2m 0s
Kani Tier 2 (2/6)	1m 24s
Kani Tier 3 (5/5)	23s
Kani Tier 2 (6/6)	59s
Kani Tier 2 (5/6)	1m 11s
Kani Tier 2 (3/6)	5m 53s
Kani Tier 2 (1/6)	1m 9s
	34m 26s

Provide feedback