CrossHair is a Python analysis tool that blurs the line between testing and type systems, finding...