finish SHA_splitandpad_equiv using fold lemma, now need to prove fold lemma using hash equiv. also start counting number of admitted/Admitted lemmas