This is the execute state for the machine. This is practically identical to Prosser & Winkle except that manual instructions have already been handled in the idle state so do not appear here. Also the HaltFF get the value of SStepFF so that the program can halt if were in a single step mode.