specsafe-complete

Complete a SpecSafe specification. Moves spec from QA to COMPLETE stage.