Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT