Function soft_core_executes 

pub fn soft_core_executes(op: &Op) -> bool

The ops the fetch-decode-execute soft-core (benchmarks/silicon/soft_core.v) itself decodes and executes — the movement + control-flow + output ops (as opposed to the value-transform ALU ops proven by our-SAT identities). Realized by the CPU running real bytecode (iverilog-proven) and by the soft_core_decodes_the_wire_opcodes lock tying its decode to binisa::opcode.