Text this: Formalizing Randomized Matching Algorithms