Merge pull request #1003 from herbie-fp/less-profiling

Do less profiling because the profiler is slow

src/api/sandbox.rkt

@@ -301,7 +301,7 @@
     (if profile?
         (profile-thunk (λ () (compute-result test))
                        #:order 'total
-                       #:delay 0.001
+                       #:delay 0.01
                        #:render (λ (p order) (write-json (profile->json p) profile?)))
         (compute-result test)))