Update to Specs 2 v2.1.1
restructure assertions on Main BFG tests as invariant|will-be-removed