More fixes from basic testing.

- Fix calling of variable form to include the opcode, not always 0.
- Properly mask the opcode in long form.
Fix opcode masking in variable form. Add dirty stack check.
Fix opcode masking for short form too.
Fixes around branching

- Including JE et al.