adjust verbosity
acceptor must remember proposal numbers for accepted values
acceptor always accepts writes with a large enough proposal number