Execute instructions for Ghidra-supported processors using concrete or symbolic execution of Ghidra p-code