[Strings] Limit string allocations like we do arrays

[kripken]

When we concat strings, check if their length exceeds a reasonable
limit. (We do not need to do this for string.new as that reads from an
array, which is already properly limited.)

This avoids very slow pauses in the fuzzer (that sometimes OOM).