tidy up gui

Also improve the speed of compute-diffs by approximately 350x
(from 18+ seconds to about 50 milliseconds on the test case
that's currently failing)
make-traversal's optional argument is now ignored

Recent changes eliminated it, but it seems better
(for backwards compatibility) to leave it there but
ignore it