Coq Performance Tests v1.0.1

Minor updates to the fiat-crypto example

Coq Performance Tests v1.0

This is an arbitrary point in history including the newest reification benchmarks, among many others.