Test DAP export with validator.

Partially addresses #137.

We could probably incorporate the validator into the main (non-test) code as well, but I think we should wait until @kwmsmith's map PRs are in.