fixed various errors in new wizoptimiser (seems to work well now),
and included a sample wiz input file "reduce_example.wiz" that
can be optimized (run ./wiz with -c flag) to showcase some of the
reductions possible by this module