Update documentation with new test infrastructure

MR !475 (merged) standardizes where tests should be written. Once both the contracts MR and the test infrastructure MR are merged, it would be a good time to update the documentation on Allen testing.