Update comments in regression tests

In pointer-to-array-char: remove redundant commented-out assert.
In pointer-to-array-int: add description of future checks.

Author: petr-bauch

regression/snapshot-harness/pointer-to-array-char/main.c

@@ -24,6 +24,5 @@ int main()
 
   assert(first == second);
   assert(second[array_size - 1] == 'a');
-  //  assert(second[10]=='0');
   return 0;
 }

regression/snapshot-harness/pointer-to-array-int/main.c

@@ -31,6 +31,8 @@ int main()
   checkpoint();
 
   assert(first == second);
+  // The following assertions will be check in the following PR once
+  // dynamically allocated snapshots are properly implemented.
   /* assert(array_size >= prefix_size); */
   /* assert(prefix_size >= 0); */
   /* assert(second[prefix_size] != 6); */