Added some Property Testing

All of the property-based testing, so far, is based on the cardinality of the sets. I'm also trying to figure out a way to test property that has to do with arbitrarily chosen elements in each sets, but cannot actually access the values inside the sets.