Updated README to reflect recent changes. Using verifier instead of checker. Closes #18.
Merge branch 'corral' into develop