Fix extop validation (hopefully)
Load extension op records from bytecode stream

Operand descriptor validation might need some
changes, in particular for sized constants
which we don't yet support properly.