Tests

1. See more about property tests here
2. These instances are used by the property tests. They say how to generate a random Rank and File.