Add option to avoid dumping partial models/proofs.