Allow step limits in strategies
This short MR adds a step limit field to prover calls in strategies. It is optional so as to preserve backward compatibility.
This short MR adds a step limit field to prover calls in strategies. It is optional so as to preserve backward compatibility.