Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous