Conformance testing of the agda2hs Prelude

[jespercockx]

It would be good to have some kind of testing that ensures our implementation of the Haskell prelude is correct. For example, for each function we could compile our implementation to Haskell and use QuickCheck to check that it is equivalent to the builtin one.