remove now-redundant tests
Re-enable redex's overlapping arrows src loc information

This reverts commit e5a84eff8d3a14776e10defebca93b56cc2ccb50.
and also uses the property 'original-for-check-syntax