Put back correctness checks in every bench file.

Put back correctness checks in every bench file. #121