Quickly Create and Share Virtual Folded Proofs