Add Jepsen's Elle to Accord and Paxos validation

Paxos and Accord both use a custom validator to make sure we offer Strict Serializability, but to increase confidence we should use external validators as well, such as Jepson’s Elle.