ignore most output in pf tests, for test stability#105

alex-ozdemir merged 2 commits intocvc5:maincvc5/cvc5_pythonic_api:mainfrom

alex-ozdemir:coarsen-proof-testsalex-ozdemir/cvc5_z3py_compat:coarsen-proof-testsCopy head branch name to clipboard