PaxosState is  a field of message handlers; previously, it was passed as a paramter to the handler method