Fix a typo
Add sample Cegta output
README: Add a failing spec demo output
Merge branch 'develop'

Minor README and typos fixes