Text this: Correct and Efficient Antichain Algorithms for Refinement Checking