Implement R/W core funcs + tests on paxos