bvsls integration with opt::wmaxsmt

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
bvsls_opt_engine bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>