Disable dynamic label when running the segmentation pipeline.
Shut down executor service when closing plugin GUI.
Always set slice after showing images so the slicer it's in place.
Merge branch 'gui-dev'