new test suite for CNF Backend

add in a new test suite in cabal file for Haskell CNF backend