[Register/Reading] Check bitfield information

[PastravMD]

Bitfields positions and size should be verified before generating the spec.

[PastravMD]

bitfield checks:

• 0 <= begin, end <= 31
• end - begin = width
• sum of all widths = 32
• next.begin = this.end + 1