tests: revamped tests
README: added graph
redone: nfa: slight improvements to caching