Does anyone know a good format/toolset for writing docs, wherein I can embed tests of claims made in the documentation, so that the team (maybe just me, maybe me and others, maybe just others later) is forced to notice when the code and docs drift apart?