verification_of_bhyve_s_instruction_emulation