add hypothesis tests to the documentation