Removed Output and added Mov; broke all proofs, sorry

Removed GenerationProofs and SSNICheckerProofs from the build for now