Basic HUnit test implemented; QuickCheck2 test incomplete; Updated README