I like the Discovery app for analysing existing applications, but why not add Discovery like checks to ServiceStudio to prevent Architecture pitfalls directly from ServiceStudio. TrueChange².
Add Layer type to eSpace properties, so ServiceStudio can check:
References to sibling modules in composite or orchestration layer
References to a higher layer
Cyclic references between eSpaces (preferably also indirect references)