chore: bye bye Zeromorph in Solidity (#8678)

barretenberg/cpp/src/barretenberg/bb/main.cpp

@@ -1494,6 +1494,7 @@ int main(int argc, char* argv[])
             std::string output_path = get_option(args, "-o", "./target/contract.sol");
             contract(output_path, vk_path);
         } else if (command == "contract_ultra_honk") {
+            vinfo("Warning: Contract incomplete. Do not use in production!");
             std::string output_path = get_option(args, "-o", "./target/contract.sol");
             contract_honk(output_path, vk_path);
         } else if (command == "write_vk") {

barretenberg/cpp/src/barretenberg/bb/readme.md

@@ -119,6 +119,7 @@ Barretenberg UltraHonk comes with the capability to verify proofs in Solidity, i
     ```
 
 4. Generate Solidity verifier
+ **WARNING:** Contract incomplete, do not use in production!
 
     ```bash
     bb contract_ultra_honk -k ./target/vk -c $CRS_PATH -b ./target/hello_world.json -o ./target/Verifier.sol