Silencing some signedness comparison warnings.
Added graphviz visualization using an operator<<.