Move criterion to the actual test binary, and in a module of its own

In order to optionally replace it by a yet-to-be-written MeasureNaive