Adding a string function, more interesting and simple API-y interface.
Remove this comment.
Some cleanup
Makes verify more robust and display more verbose information.