Move repr_correctness tests to integration test file

Created by  David Tolnay  on October 8, 2019
62FAY63A6J5JJOX2RHKOWKFCJ6SHAPJT67CQ4ZJ7EXCPH6QVTW5QC
Change contents