Don't set option produce-proofs