Track performance metrics reported by `perf` on Ci.

For certain kinds of perf metrics (e.g. failed specialization) performance can regress quite severely without allocations regressing at all.

For this reason it would be good to keep track not just of allocations, but also instructions executed.