Player collision now fully works with animations, and animations change
correctly. Other minor improvements.