move to scoped state, change default parameter for sls until bv is debugged

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>