support and enforce propex array sizes; update tests