Add `(shutdown-agents)` to check and coverage to avoid long waits on suc...

...cessful completion (for analyzing projects that spin up code when they are loaded).