Removed pipelining toposort engine. It was somewhat broken and adding async (which I'm planning) would have introduced further complications.
Added more graph figures.
Added AsyncTransaction (async equivalent of DoTransaction).