Clean up & resurrect existing benchmarks

[volhovm]

• Polynomial commitment scheme benchmarks are not a benchmark in a strict sense of the word. Should become one.
• Existing kimchi benchmarks are not run on CI.