Updating the tests to use the quickcheck laws.