Adding test for array types (making sure we count the number of region params
of array types)
Adding "GlobalAccess" checker alongside the SafeParallelismChecker.
GlobalAccess assumes "reads Global" is part of the effect summary of
non-annotated functions.