QuickCheck setup, app shutdown minor fixes

some QC setup
Change logic to wait till the top supervisor terminates...