Improved handling of reg init in opt_share and opt_rmdff
Fixed bug in sequential sat proofs and improved handling of asserts