Roman

Refactor cairo1-run crate for library use

1

**Is your feature request related to a problem? Please describe.** The current implementation of `cairo1-run` crate as a CLI restricts its usability in other projects that could benefit from its...

Keep disabled contracts examples when "Prove & Verify" is enabled. Add a tooltip stating "Contract examples are not available for proving"

Make the "Prove & Verify" checkbox disabled for programs with contracts and add a tooltip stating "Proving is not supported for contracts"