Start transition to mocha
Don't wrap counterexample in array
Add newline in isEqual
Pair generates pair of values by default
Many small changes, bug fixes to jsverify
mocha promise tests
Add coverage/ to .gitignore
add test-suite
Migrate miscspec
Remove generatorSpec, it's already covered in mocha suite
Cleanup jasmine examples
Unify error formatting