Update code after bounds-widening for strings is implemented

[dtarditi]

There are 5 blocks in the code that are unchecked because widening of bounds for strings hasn't been implemented yet in the compiler. Once this is implemented, we should update the code in parson.c