compiler: Enhance detect_accesses and patch symbolic padding#2886

FabioLuporini wants to merge 2 commits intomaindevitocodes/devito:mainfrom

tma-writedevitocodes/devito:tma-writeCopy head branch name to clipboard