make general zk proof functions for multiple operations

[nowittynamesleft]

Should have three generic functions that combine ezkl calls/file path creation:

1. Calibration + proof setup
2. Proving function
3. Verification function

We already have a generic enough verification function in pytorch_evo_model_merging.ipynb

Need to have calibration and proof setup function take in the operation function (i.e. merging function, mutate function, or evaluation function), a batch of calibration inputs for that function, operation keyword (for file creation). Will create necessary files for the proving function to use.

Proving function will take the operation keyword, batch of inputs to prove. Output will just be the proof for the batch.

[nowittynamesleft]

general zk functions for calibration+setup, proving, and verifying added in d7e87ee . Specific code for operations like merge, mutate and eval removed in bc72568 since the general functions work.