H2: Document dual g_current_context globals

[CharlesHoskinson]

Two g_current_context globals exist (aibox and dosbox). Merging MachineContext and DOSBoxContext is too invasive. Document as accepted architectural risk and add assertion that both pointers agree during step.

Test: test_context_agreement.cpp