[m-rev.] for review: Optimise modechecking of coerce for large types.

[Julien Fischer]

On Wed, 21 Apr 2021, Zoltan Somogyi wrote:

> By the way, I just realised that with one exception, my stress tests
> are not in the git repository. I think they should be there.
> I could add them as benchmarks/stress_tests. Any proposals
> for better names? Or should I create a separate repository for them?

Unless they are really huge, add them to the benchmarks directory.

Julien.