First Cryptol stuff - working SHA256 in v1, partly converted, but
broken wrt. endianness v2