Update docs with ValidGen internals

[alexgarzao]

Update the docs with ValidGen's internal details, such as its architecture, its execution pipeline (parser, analyzer, and generator), and so on.