upgraded to scalacheck 1.12.1
fixed the tag processing
added more ways to append arguments to fragments
cleanup some specs
removed the TestSpec
fixed the Termination spec