If our history contains many transactions, knossos will be unable to verify linearizability.

It is worth to say that Elle is much better than Knossos, it allows checking longer histories.

By the way, it is not mandatory to use Jepsen for writing consistency tests. It is possible to make tests in any other programming language, produce a history in Jepsen-compatible and check it with elle-cli, a command-line frontend to transactional consistency checkers for black-box databases.