[TT #819] Add tests for exsec and hav opcodes