Add a "no proofs" proof mode

[ajreynol]

For proof logging, we may wish to have a mode that doesn't even generate preprocessing proofs, based on the discussion from cvc5/cvc5#11511.