NFA test: added new predicates for multiple accept/final states (comments)

I still want to be explicit about whether I expect a single match or multiple so I created these new predicates for the latter.
NFA test: added tests for carrot anchor
NFA test: moved all anchor tests together