Added+Fixed documentation and forcing checkers to traverse template instantiations.
Updated test with newly supported multi-arg syntax for region names
Updated tests to take advantage of new support for less verbose annotation syntax