PR# 19070 [RJ] Request for SPECIAL.put to check the array bounds even if finalized.

This is request to add an ECF option to allow us to keep the precondition on SPECIAL.put (and extend) when the program is finalized.  The rationale is that if we call put with a bad index, the result could damage run-time structures which would be very hard to debug.  Even worse, it could damage data which may not be detected at all.

It would have to be as fast as possible.  Clearly this is an experiment.  If the performance hit is too large we may never use this.  It is unclear at this time whether we would also want the same behavior on SPECIAL.item or anything else.  I can imagine that we may want three options.  Never check, check writes only or check both reads and writes.

   Randy