A Protocol for Randomized Anonymous Two-process Wait-free Test-and-Set with Finite-state Verification