Keep disabled contract examples if 'Prove & Verify' is enabled

[barabanovro]

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