Updated lexer to check for addition verbose option