Text this: Lectures on Proof Verification and Approximation Algorithms