Add some QC tests for the Store type

--HG--
rename : tests/Tests.hs => tests/UnitTests.hs
Fix build