+doc: Document graph cycles

initial version
reads a bit off: the naive cycle is not enabled by calling, the construction of it is. So maybe reword as "which would not be allowed to be constructed, unless the `allowCycles` call on the builder?"