Extend rich terminal support

[katiemckeon]

🌟 Feature Request

📝 Description

Add rich terminal printouts for create_proof.

🤔 Rationale

PR #12 introduces a feature that conditional prints the steps in circuit_create in very verbose fashion. This is quite useful within the CLI to demonstrate what behind-the-scenes steps are taking place, but it also educates users on features. Proof generation would similarly benefit from this feature.

📋 Additional Context

We purposely abstained from fine-tuning common code because it's not clear how much should sit in sindri-rs and how much should sit in CLI. That clarity will come after initial work on the proof gen rich terminal feature.