Add primitive runtime validations to generated types

[DigitalSmile]

Like:

• array size checking in constructor
• type casts
• buffer alignment in toBytes() to handle tails in arrays