Kani Presentation

My final internship presentation on optimizing Kani's compiler.