Added check to library interface setMonomialOrder that rejects non-global orders. Also added tests for this.