Fixed incorrect definition of Sig operator in Z3 Model (was switched with definition of SigDag).
Made Opts passed into DMRGObserver methods optional.