fix: fix bug

1. fix bug in paxos, should initialize value to -1 if not commited.
2. basic new instruction in app server