Start working on my defense talk.

Add thesis statement and roadmap slides to my last job talk.

Need to add and update stuff about PhyBin and proofs.