Fixed a couple bugs on the way to proving Selection_Sort and added search functionality for the interactive prover.