Last I checked Jepsen was more of a toolkit for checking consistency then simply plug and play. What is the process for adapting Jepsen to your specific database and its capabilities and how broadly is Jepsen checking the various guarantees the DB offers. Like say if there are consistency tunables what range of tunables were tested?