Make the prover timeout configurable.