At MongoDB we implement the same protocols in many programming languages. How do we test that all the implementations match the specs?