More ergonomics #188

Job	Run time
Kani Tier 1 (Fast)	3m 20s
Z3 SMT Verification	36s
Kani Proof Coverage	3s
TLA+ Model Checking	2m 31s
Loom Concurrency Tests (windows-latest)	1m 47s
Kani Tier 3 (1/5)	1m 50s
Kani Tier 2 (4/6)	2m 15s
Kani Tier 3 (2/5)	4m 28s
Loom Concurrency Tests (macos-latest)	27s
Kani Tier 2 (3/6)	5m 10s
Kani Tier 3 (5/5)	20s
Kani Tier 2 (5/6)	1m 11s
Loom Concurrency Tests (ubuntu-latest)	23s
Kani Tier 3 (4/5)	2m 36s
Kani Tier 2 (2/6)	1m 28s
Kani Tier 3 (3/5)	3m 21s
Kani Tier 2 (6/6)	1m 0s
Kani Tier 2 (1/6)	1m 10s
	33m 56s

Provide feedback