Added command line option for verbose output
Added components to the verbose information output
Small formatting change for readability in the character checking functions in dfa.c