Add `(shutdown-agents)` to check and coverage to avoid long waits on successful completion (for analyzing projects that spin up code when they are loaded).