Added pointer checking for execv.  Now checks that it is reading only from code, data, or stack, and writing to only data or stack