never accumulate proofs in a buffer

It was overflowing in some situations.  But, it should be
replaced with some dumping into a file (without in-memory
accumulation).