Use enif_consume_timeslice and don't monopolizing a scheduler thread