add quickcheck library submodule
update Makefile with quickcheck