compiler: move launch check injection to later in compilation pipeline#2903

FabioLuporini merged 2 commits intomaindevitocodes/devito:mainfrom

fixup-check-launchdevitocodes/devito:fixup-check-launchCopy head branch name to clipboard