initial quickcheck tests (disabled for now)
remove unused file