Added class that tests random regex NFA reduction