Address PR comments:
Address PR comments:

- replace zip`ap`tail
- don't store the Int in the SequentialTests
- have mkName generate names which cannot be subnames of later tests

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell