Made some changes so that zone valuation graphs are now with
ocamlgraph. Makes everything much simpler in general. Just need to
test it though.
More paranoia about Alt.
We have one test made, which passes. More tests to follow.
Fixed a test that wasn't legitimate, also made the framework for adding more tests.
Merge branch 'fix-zone-graph'