Zander Thannhauser 229f654eb5 if a test runs a long time, run it with verbose		2025-03-07 20:14:32 -06:00
..
uf20-91	now we satlib! and verification! and testing!	2025-03-07 19:58:28 -06:00