a darn fast dfa (using llvm) (fork of gershomb's adf-dfa)