refactor: rewrite GC
Now allocates all memory before calling prover and verifier, and it is up to the caller to free memory (via a single library function) when done.
Now allocates all memory before calling prover and verifier, and it is up to the caller to free memory (via a single library function) when done.