significant improvements to AutoBatch proof generator