Add missing closing brace in documentation
Update documentation with test.check name change
Update Makefile with test.check name change
Rename test.check.core -> test.check

'core' namespaces are unnecessary. There is still some question as to
whether the generators and properties namespace will remain, or if
everything will just be re-exported from the new test.check namespace.