chore: remove stray profiler option from test

Author: Kha

tests/lean/run/grind_constProp.lean

@@ -5,8 +5,6 @@ set_option grind.warning false
 attribute [grind cases] Or
 attribute [grind =] List.length_nil List.length_cons Option.getD
 
-set_option profiler true
-
 abbrev Var := String
 
 inductive Val where