Added Tests.hs for QuickCheck
Removed UI creation for local compilation