In Ferret extension, we should reserve k COTs for the next iteration. This is done in Ferret core.
In MPCOT/SPCOT, COTs are needed in the procedure. Now I buffer all these COTs, and these COTs are reserved after Ferret extension. This can avoid invoking heavy KOS extensions.
see #137 rebase
dev
and shrink all the commits.