Disable "Prove & Verify" Checkbox for Contract Examples

[barabanovro]

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