Simple proof search

This also works with "auto", however.
Cleanup and add test cases
Merge pull request #1 from david-christiansen/search

Simple proof search