Add's quickcheck and makes changes in prop_powers to only test relevant cases
Adds submission guidelines.