apparently it's possible to segfault DP with a bad INSTR_LOAD_V - so the IR should not allow this