Tests for SoftwareSpec and subclasses
wip: first pass at fixing validation
Fix specs in TestBall
Simplify test