Scalable Motion Planning Using Lazy SMT-Based Solving