Java doesn't check compound parameters which are used deep in packed arrays

[Mi-La]

Zserio version and language
Zserio: 2.14.0
Language: Java

Describe the bug
Zserio serialization mechanism should always check the parameters with the restrictions given by schema. But in Java the checking code is missing, probably by accident.

How to reproduce
Steps to reproduce the behavior:

• Schema (minimum working example):

struct Child(uint8 param)
{
    bit<param + 2> value;
};

struct Compound
{
    Child(0) child;
};

struct MissingCheck
{
     packed Compound compoundArray[];
};

• Error
  Compound.write(zserio.runtime.array.PackingContext context, ...) doesn't have the check for the parameter param.

See in interactive compiler.

Expected behavior
The check is present and doesn't allow to serialize the data!

[Mi-La]

Note that the check is correctly present in files generated by Python and C++ generators. Consider to inspire by the implementation of one of them.

We shall introduce a language test which will assert that the exception is thrown when trying to serialize BLOB with invalid compound parameters.