Ensemble domains, executors, and supervisory services #4902

Job	Run time
build	33m 38s
build (--enable-shared)	33m 55s
build (--with-gambit=master)	33m 59s
build (--with-gambit=master, --enable-shared)	32m 10s
	2h 13m 42s

Provide feedback