Add test cases to .cabal