added sizes to decomp/recomp/clean
added solver options to MOSEK/sedumi
added solver options to options structure
better check for real coefficient poly