fix testPrimary for unit ideal
primary not expected to be empty at finished decomp
replaces stdZ signswitch by check and added integrity checks
Merge branches 'add.assume.primdec.lib', 'enhance.stdZ' and 'fix.testPrimary' into spielwiese.patched