Split the rotation and rotation-and-diagonal tests
I thought there were no tests for the rotation and diagonal constraint, but while trying to make them I found out they're in tRotation.cc. I'm going to add features to the rotation and diagonal constraint, so better to have it in a separate file now.