Remove my work on a verified lexer generator

Since we're not using it, it doesn't need to be here.