Python Property Based Testing Time