murphi2murphi: use new state shift mechanism to update pending_semi

This stage can now keep its idea of pending_semi more in sync with the output
position, orthogonal to what other stages are doing.

Github: related to #187 "murphi2murphi: state pop design"