[Agda] Seg-fault

[Serge D. Mechveliani]

I have programmed the  merge sorting function  for a list over any 
DecTotalOrder,  
with the result record including a proof for orderedness.

It is compiled for the RTS options, and run with  +RTS -M... -RTS.
For a certain large list over Nat, it finishes for  -M700m and 900m,  
but runs into  Segmentation fault  for 800m.

This is for  Agda-2.3.0.1 + MAlonzo + lib-0.6.

Regards,
Sergei