Adding an ensureAllNAVProcessesHaveStopped helper