use same capitalization for messages and methods
send correct accepted_proposals in Adopted
Almost complete
remove Catchup
add a bit on fuzz testing