Some initial CI correctness benchmark infrastructure (in progress).