Header table checks

Extends tests to check that the header table is well formed after the
decoding process.