More conservastive $eq/$ne/$eqx/$nex opt_const code
Improved $_MUX_ handling in opt_const
Added sat -prove-x and -set-def-inputs
Added $bu0 cell (for easy correct $eq/$ne mapping)
Added new cell types to manual
Updated manual/command-reference-manual.tex