Create git submodule for GADT and use its js tests.

[Finishes #53394485]