refactor: rewrite GC

Jakob Schneider Villumsenrequested to merge
ctx-rewrite into main

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.

Merge request reports