I got out of memory issue on `matmul_check.ml` and `matmul_models.ml`, is it related to my computer ? Should we document it ?