Reduce serialization in mirai_map

[be-marc]

Split benchmark grid into groups of equal task, learner, resampling combinations and call mirai_map multiple times to reduce serialization.