update thesis, tests, analyzer

Finishing thesis's first draft