fix maximum object size semantics

This fixes the gap in the language definition causing #18726 by defining
a clear bound on the maximum size for libraries to enforce.

Closes #18069
This sentence seems to be very repetitive with the last sentence of the previous paragraph.