dreach_tool(using.tex): remove viz figure
fixup
dreach_tool(solving.tex): remove first paragraph of "encoding reachability"
dreach_tool: move delta-reachability to appendix
dreach_tool: fix reference