Remove an unused constructor
Toggle the check_correctness benchmark flag