Add Regexp#match! to give info about match failure
DotRenderer now labels accept states
Clean up DotRenderer
DotRenderer should always use circles