Add digraph reversal test
Documentation improvements