IR: Formalize OP_STORECONTEXTINDEXED to only access x87 or gdt
- Update validation pass to enforce the base offset
- Assume it can't access outside those regions in LSE/DSE