Fixed bug in memory_share feedback-to-en code
Some "const" cleanups in SigMap
Added ModWalker helper class
Added SAT-based write-port sharing to memory_share
More verbose memory_share help message
Improved memory_share log messages