Benchmark regarding `native_compute` is not reliable

[pi8027]

because calling native_compute eventually makes native_compute itself slower: coq/coq#15528. To improve the situation, benchmark.v (currently written in Elpi) has to be reimplemented as an external tool (e.g., written as a shell script) that invokes coqc for each measurement.