Use multisuccess of typeclasses eauto to get rid of n parameter in FindInContext

1 job for time/find_in_context_without_nat in 14 minutes and 12 seconds (queued for 46 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.13.2-timing #138886
fp-timing

00:14:12