Arrays have additional unused grammar

[barsnick]

Describe the bug

Arrays whose size has been restricted for memory reasons - especially arrays of unrestricted "unbounded" size - have an additional grammar after their final element, as a hack for missing proper termination grammar.

This hack needs to be replaced by proper grammar.

This means: The event handling after the last element of an array which is restricted in size (vs. the original size in the schema) needs to allow for a further element, even if we don't provide memory to decode it. (This weas hacked by introducing an unused extra element.)

This is a follow-up and related to the loop optimization as reported in #83 and fixed in #86.

To Reproduce

No response

Anything else?

No response