pub fn exec_reference(heap: &mut [Row], prim: &Prim)
The reference (VM) semantics of a primitive over the heap — the oracle every plane is proven against.