Moved old pulse demo into proofs folder