Default values in `Lean.Meta.Config`

Stream: lean4

[Jovan Gerbscheid]

I noticed that the foApprox and ctxApprox fields of Lean.Meta.Config have default values := false, but when evaluating these in a MetaM monad they return true by default. Should the default values be set to := true so as to avoid confusion?