Update README, change default on -sverb option (make the sat solver silent by default)