Updated README to reflect name change to ProTest

Updated name to ProTest instead of guile-quickcheck since this is not a 1:1 port of quickcheck's features. Added comment about unit tests, though granted none of the tests are written yet, and some modification of the code on the develop branch still needs to happen.