Made execution time an optional property of Hypothesis