V1.0.6

This release consists mainly of bug fixes. In particular, it fixes a number of mocking-related issues, contains a large refactoring and extension of the search algorithms, and fixes a number of crashes.