Update nerve and synapse

New tests and new versions of smartstack software to handle leader election among other features.