8.12.x is not built on WildFly, I am not sure how you are making above work. The dependency structure is much less clear, thus we provided the zip files for embedded 8.12.x.
As per 8.13.x, the dependencies in this release are reworked completely, so everything works through maven dependencies. Note that those could be transitive dependencies. So, your build file from 8.12.x to 8.13.x will not be exactly same, there you may need further re-work, but note that won't change when you move to 9.x, as we continued 8.13.x into 9.0
>>Shouldn't these be added to the wildfly-dist zip file?
wildfly-dist for embedded is no longer there, the one exists for is for server, and necessary files are already there.
On 8.12.x I used the embedded zip file, which was missing jboss-modules, so if you come out with another 8.12.x you could consider fixing it.
On 8.12.3, I use the zip which is also linked for your download page under "Teiid Runtime" as "8.13.3 *" which points to https://repository.jboss.org/nexus/service/local/repositories/releases/content/org/jboss/teiid/teiid/8.13.3/teiid-8.13.3-wildfly-dist.zip
So when you say "wildfly-dist for embedded is no longer there", are you correct or is the site correct? I download teiid-8.13.3-wildfly-dist.zip through Ivy, unzip it and cannot use it unless I add the extra jars I mentioned before. Check?
1) Embedded should *not* need the "jboss-modules" jar, thus it is not included. If you are using maven pom files to determine the dependencies, it would indicate that this is required, but you can safely exclude it. That is for 8.12.x. We are not going to change that.
2) 8.13.3 the link you provided above is *NOT* embedded zip, this is zip file for the "Wildfly" with "Teiid" Server, pre-installed and avoids downloading two different software (WildFly, Teiid) separately. I checked the link, and it is correct on the download page. You want to download this if you want the Teiid Server.
There is no such thing "Wildfly" embedded, there is only Teiid embedded we provide, and what I am saying is starting 8.13.0 we stopped building this zip file altogether. The maven dependencies are corrected such that, when you include the right maven artifacts in your build file, the needed JAR files will be downloaded automatically. If you need an example take look at the Embedded examples here https://github.com/teiid/teiid-embedded-examples
Hopefully this clears the confusion.