Separate proof system benchmarks and pcs benchmarks

[ahy231]

Separate proof system benchmarks and pcs benchmarks, use files to store intermediate data generated from proof system, and load intermediate data from files in pcs benchmarks.