restructure murphi2murphi Stage::write() to also accept state shift messages

This is not yet taken advantage of, but the goal here is to allow a more modular
implementation of Stages wherein they can have their own local concerns and not
have to think too much about what other stages are doing.

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