Verifier doesn't verify unions

[krojew]

Verifier doesn't seem to check union bounds, thus resulting in a panic when unwrapping unsupported type.

[doitian]

Could you provide a schema and the buffer which could cause the panic?

[krojew]

Unfortunately, I can't provide the exact schema, but the following can show what happened:

• create a schema with a verifier:

table A {
}

union U {
  A
}

table Container {
  a:A;
}

• extend the schema:

table A {
}

table B {
}

union U {
  A,
  B
}

table Container {
  a:A;
}

• process a buffer containing B wrapped in a Container - the verification will pass