Use getDocTests to extract DocTest examples from Haddock comments. To
verify that the examples work turn them into Assertions, using
withInterpreter and toAssertion. After this just wrap the newly minted
assertions into something suitable for your favorite test framework.