Lobsters: Optimal Caverna Gameplay via Formal Methods