Move church encodings from tests to examples
Explicitly call quickcheck tests
Add a benchmark; Fix #12