Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators