Added First Tests.

Added tests using QuickCheck and Tasty.