Removing ROT13-property from Tests.hs