Kill the quickcheck tests until it's easier to install dependencies.
Examples and filling in README.