Automatic Quality Assurance and Release (Report from Dagstuhl Seminar 18122)