Changed NFA nodes from vectors to bit fields. NFA update should be faster now but tau is limited to the size of the datatype.