bugfix in opt_share
using dict and pool in opt_reduce
Added memhasher (yosys -M)