v5.13.0 릴리즈: Infinity 취약점 보완 및 테스트 커버리지 대폭 개선

🤖 1338 in / 1658 out / 2996 total tokens

SmartBot의 결정 로직 메서드 4개에서 NaN 체크를 Finite로 변경해 무한 루프를 방지. Infinity 난이도 입력 시 발생하던 봇 정지 및 확률 음수 버그를 수정. 테스트 14건을 추가해 전체 453건을 확보하며 브랜치 커버리지를 크게 개선했다.