verify various implied limits of 255 elements

[jmscott]

for example, argv and exec counts are assumed to be <= 255 elements in various parts of the code.