Improving LaCAM for Scalable Eventually Optimal Multi-Agent Pathfinding