Remove model jepsen-set OR jepsen-set-full

[ligurio]

jepsen-set-full and jepsen-set uses the same history format, see - set-full and set.

Need to understand a difference and probably leave a single one.

[aphyr]

Just if you're wondering "why both?"--they use the same kinds of histories, but have different computational complexities! The set-full checker is a lot more expensive, but gives you precise bounds on latencies and stability of records over time, whereas set assumes a single read at the end of the test.

[ligurio]

@aphyr Heh, thanks for explanation, Kyle :) Seems both are useful.