There are two reasons we run the examples: 1. To show people how to do Pact with common libs 2. As a quasi-regression As the number of examples grow, using them for (2) is problematic because they overlap a lot in what they actually test, and are quite slow.