Add some property tests for orientation tests.