Add negative tests for BIR verification

[jclark]

When we have BIR deserialization #1031, we can properly test BIR verification.

[jclark]

In particular handle #1022.

[manuranga]

This should cover negative tests for register types, a task leftover from #963