Fixed cli.js, minor bugs in grammar/lexer related to whitespace and assumption boxes, and minor fixes in verifier.