yeah! we were talking to the antithesis folks during this project, but it wasn't far enough along when we started the project in 2016.
we were heavily influenced by the original foundationdb testing talk from strange loop (wwilson, one of the antithesis founders): https://www.youtube.com/watch?v=4fFDFbi3toc