Prover eval results summary stuff in.  More refs and fixups.