1. Added a battle animation speed-up option to City Battles.
2. Reduced the World Stability penalty for executions.
3. Fixed various bugs.