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).

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>