Qsearch

This contains many changes to several APIs, but things should be stable from here on out. It also includes new features like LEAP and reoptimization, as well as much better performance.