add some random testing into the lexer option contract