add working assertion search
update celestrium
Merge pull request #17 from jdhenke/assertion-search

assertion search