Fix build for fass executable
Switch hspec to progress formatter