Add s_hash example

[Vladimir Dzhuvinov]

An s_hash example could be added to the spec so implemeters can use that as a test vector.

[Nat Sakimura]

Duplicate of #124.

[Nat Sakimura]

124 came later but it covers this issue so is closing as dup.