Default scheduler

By default, saturate() uses NAIVE_SHEDULER that is quite inefficient. We could define efficient parameters as default parameters on java side, or at least, on the python side.