Added SHA256 block function for use in sepearte proof, since the typechecker in SAW hates me.
Added SHA256 block function for use in sepearte proof, since the typechecker in SAW hates me.

iblumenfeld/ha-post-quantum,iblumenfeld/ha-post-quantum