finished Isabelle comparisons, some cleanup
re-ran benchmarks